Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Alternative f => Monad (Cofree f) Source # | |
Functor f => Functor (Cofree f) Source # | |
Alternative f => Applicative (Cofree f) Source # | |
Foldable f => Foldable (Cofree f) Source # | |
Traversable f => Traversable (Cofree f) Source # | |
Eq1 f => Eq1 (Cofree f) Source # | |
Ord1 f => Ord1 (Cofree f) Source # | |
Read1 f => Read1 (Cofree f) Source # | |
Show1 f => Show1 (Cofree f) Source # | |
Functor f => Comonad (Cofree f) Source # | |
Cotraversable f => Cotraversable (Cofree f) Source # | |
(Eq1 f, Eq a) => Eq (Cofree f a) Source # | |
(Ord1 f, Ord a) => Ord (Cofree f a) Source # | |
(Read1 f, Read a) => Read (Cofree f a) Source # | |
(Show1 f, Show a) => Show (Cofree f a) Source # | |