Evidence that cofree structures can be split up into a head
and a tail
Evidence that cofree structures can be split up into a head
and a tail
Trivial Each
instance due to Cofree S
being traversable when S
is
Trivial Each
instance due to Cofree S
being traversable when S
is
Iso variant of pCofreeToStream
Iso variant of pCofreeToStream
Iso variant of pCofreeToTree
Iso variant of pCofreeToTree
Polymorphic isomorphism between Cofree[Option, _]
and OneAnd[Stream, _]
Polymorphic isomorphism between Cofree[Option, _]
and OneAnd[Stream, _]
Polymorphic isomorphism between Cofree[Stream, _]
and Tree
Polymorphic isomorphism between Cofree[Stream, _]
and Tree