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
newtype Data (r :: Type -> Type) p Source #
Synthetic data type.
A wrapper to view a generic Rep
as the datatype it's supposed to
represent, without needing a declaration.
Instances
Generic1 (Data r :: Type -> Type) Source # | |||||
Defined in Generic.Data.Internal.Data Associated Types
| |||||
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 | |||||
Eq1 r => Eq1 (Data r) Source # | |||||
Defined in Generic.Data.Internal.Data | |||||
Ord1 r => Ord1 (Data r) Source # | |||||
Defined in Generic.Data.Internal.Data Methods liftCompare :: (a -> b -> Ordering) -> Data r a -> Data r b -> Ordering | |||||
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 | |||||
Contravariant r => Contravariant (Data r) Source # | |||||
Traversable r => Traversable (Data r) Source # | |||||
Alternative r => Alternative (Data r) Source # | |||||
Applicative r => Applicative (Data r) Source # | |||||
Functor r => Functor (Data r) Source # | |||||
Monad r => Monad (Data r) Source # | |||||
MonadPlus r => MonadPlus (Data r) Source # | |||||
Monoid (r p) => Monoid (Data r p) Source # | |||||
Semigroup (r p) => Semigroup (Data r p) 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 | |||||
(Functor r, Contravariant r) => Generic (Data r p) Source # | |||||
Defined in Generic.Data.Internal.Data Associated Types
| |||||
(GShow1 r, Show p) => Show (Data r p) Source # | |||||
Eq (r p) => Eq (Data r p) Source # | |||||
Ord (r p) => Ord (Data r p) Source # | |||||
Defined in Generic.Data.Internal.Data | |||||
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 |