Module
Control.Comonad.ZipCofree
- Package
- purescript-free
- Repository
- purescript/purescript-free
#ZipCofree Source
newtype ZipCofree :: (Type -> Type) -> Type -> Typenewtype ZipCofree f a
ZipCofree is a newtype around Cofree which provides a zippy
Apply instance.
Constructors
Instances
Newtype (ZipCofree f a) _(Apply f, Semigroup a) => Semigroup (ZipCofree f a)(Applicative f, Monoid a) => Monoid (ZipCofree f a)(Ord1 f, Ord a) => Ord (ZipCofree f a)(Ord1 f) => Ord1 (ZipCofree f)(Eq1 f, Eq a) => Eq (ZipCofree f a)(Eq1 f) => Eq1 (ZipCofree f)(Functor f) => Functor (ZipCofree f)(Functor f) => FunctorWithIndex Int (ZipCofree f)(Functor f) => Extend (ZipCofree f)(Functor f) => Comonad (ZipCofree f)(Foldable f) => Foldable (ZipCofree f)(Foldable f) => FoldableWithIndex Int (ZipCofree f)(Traversable f) => Traversable (ZipCofree f)(Traversable f) => TraversableWithIndex Int (ZipCofree f)Lazy (ZipCofree f a)(Apply f) => Apply (ZipCofree f)(Applicative f) => Applicative (ZipCofree f)