Safe Haskell | None |
---|---|
Language | Haskell2010 |
Generic.Data.Internal.Data
Description
Generic representations as data types.
Warning
This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time.
If something here seems useful, please report it or create a pull request to export it from an external module.
Documentation
Synthetic data type.
A wrapper to view a generic Rep
as the datatype it's supposed to
represent, without needing a declaration.
Instances
Monad r => Monad (Data r) Source # | |
Functor r => Functor (Data r) Source # | |
Applicative r => Applicative (Data r) Source # | |
Foldable r => Foldable (Data r) Source # | |
Defined in Generic.Data.Internal.Data Methods fold :: Monoid m => Data r m -> m foldMap :: Monoid m => (a -> m) -> Data r a -> m foldMap' :: Monoid m => (a -> m) -> Data r a -> m foldr :: (a -> b -> b) -> b -> Data r a -> b foldr' :: (a -> b -> b) -> b -> Data r a -> b foldl :: (b -> a -> b) -> b -> Data r a -> b foldl' :: (b -> a -> b) -> b -> Data r a -> b foldr1 :: (a -> a -> a) -> Data r a -> a foldl1 :: (a -> a -> a) -> Data r a -> a elem :: Eq a => a -> Data r a -> Bool maximum :: Ord a => Data r a -> a | |
Traversable r => Traversable (Data r) Source # | |
GShow1 r => Show1 (Data r) Source # | |
Defined in Generic.Data.Internal.Data Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Data r a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Data r a] -> ShowS | |
Ord1 r => Ord1 (Data r) Source # | |
Defined in Generic.Data.Internal.Data Methods liftCompare :: (a -> b -> Ordering) -> Data r a -> Data r b -> Ordering | |
Eq1 r => Eq1 (Data r) Source # | |
Defined in Generic.Data.Internal.Data | |
MonadPlus r => MonadPlus (Data r) Source # | |
Alternative r => Alternative (Data r) Source # | |
Contravariant r => Contravariant (Data r) Source # | |
Generic1 (Data r :: Type -> Type) Source # | |
GBounded r => Bounded (Data r p) Source # | |
Defined in Generic.Data.Internal.Data | |
GEnum StandardEnum r => Enum (Data r p) Source # | |
Defined in Generic.Data.Internal.Data | |
Eq (r p) => Eq (Data r p) Source # | |
Ord (r p) => Ord (Data r p) Source # | |
Defined in Generic.Data.Internal.Data | |
(GShow1 r, Show p) => Show (Data r p) Source # | |
(Functor r, Contravariant r) => Generic (Data r p) Source # | |
Semigroup (r p) => Semigroup (Data r p) Source # | |
Monoid (r p) => Monoid (Data r p) Source # | |
type Rep1 (Data r :: Type -> Type) Source # | |
Defined in Generic.Data.Internal.Data type Rep1 (Data r :: Type -> Type) = r | |
type Rep (Data r p) Source # | |
Defined in Generic.Data.Internal.Data type Rep (Data r p) = r |