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 |
Data.Bifunctor.Fix
Description
Documentation
newtype Fix (p :: Type -> k -> Type) (a :: k) Source #
Greatest fixpoint of a Bifunctor
(a Functor
over the first argument with zipping).
Instances
Eq2 p => Eq1 (Fix p) Source # | |||||
Defined in Data.Bifunctor.Fix | |||||
Ord2 p => Ord1 (Fix p) Source # | |||||
Defined in Data.Bifunctor.Fix Methods liftCompare :: (a -> b -> Ordering) -> Fix p a -> Fix p b -> Ordering | |||||
Read2 p => Read1 (Fix p) Source # | |||||
Defined in Data.Bifunctor.Fix Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Fix p a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Fix p a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Fix p a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Fix p a] | |||||
Show2 p => Show1 (Fix p) Source # | |||||
Defined in Data.Bifunctor.Fix Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Fix p a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Fix p a] -> ShowS | |||||
Biapplicative p => Applicative (Fix p) Source # | |||||
Bifunctor p => Functor (Fix p) Source # | |||||
Bifoldable p => Foldable (Fix p) Source # | |||||
Defined in Data.Bifunctor.Fix Methods 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 | |||||
Bitraversable p => Traversable (Fix p) Source # | |||||
Generic (Fix p a) Source # | |||||
Defined in Data.Bifunctor.Fix Associated Types
| |||||
Read (p (Fix p a) a) => Read (Fix p a) Source # | |||||
Defined in Data.Bifunctor.Fix | |||||
Show (p (Fix p a) a) => Show (Fix p a) Source # | |||||
Eq (p (Fix p a) a) => Eq (Fix p a) Source # | |||||
Ord (p (Fix p a) a) => Ord (Fix p a) Source # | |||||
type Rep (Fix p a) Source # | |||||
Defined in Data.Bifunctor.Fix |