Copyright | (C) 2008-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
Instances
Bifunctor p => Functor (Fix p) Source # | |
Biapplicative p => Applicative (Fix p) Source # | |
Bifoldable p => Foldable (Fix p) Source # | |
Defined in Data.Bifunctor.Fix fold :: Monoid m => Fix p m -> m # foldMap :: Monoid m => (a -> m) -> Fix p a -> m # foldMap' :: Monoid m => (a -> m) -> Fix p a -> m # foldr :: (a -> b -> b) -> b -> Fix p a -> b # foldr' :: (a -> b -> b) -> b -> Fix p a -> b # foldl :: (b -> a -> b) -> b -> Fix p a -> b # foldl' :: (b -> a -> b) -> b -> Fix p a -> b # foldr1 :: (a -> a -> a) -> Fix p a -> a # foldl1 :: (a -> a -> a) -> Fix p a -> a # elem :: Eq a => a -> Fix p a -> Bool # maximum :: Ord a => Fix p a -> a # minimum :: Ord a => Fix p a -> a # | |
Bitraversable p => Traversable (Fix p) Source # | |
Eq2 p => Eq1 (Fix p) Source # | |
Ord2 p => Ord1 (Fix p) Source # | |
Defined in Data.Bifunctor.Fix | |
Read2 p => Read1 (Fix p) Source # | |
Defined in Data.Bifunctor.Fix | |
Show2 p => Show1 (Fix p) Source # | |
Eq (p (Fix p a) a) => Eq (Fix p a) Source # | |
Ord (p (Fix p a) a) => Ord (Fix p a) Source # | |
Read (p (Fix p a) a) => Read (Fix p a) Source # | |
Show (p (Fix p a) a) => Show (Fix p a) Source # | |
Generic (Fix p a) Source # | |
type Rep (Fix p a) Source # | |
Defined in Data.Bifunctor.Fix |