Safe Haskell	Safe-Inferred
Language	GHC2021

Generic.Data.Wrappers

Description

Wrappers for "free" generics, where the base case is handled for you.

Synopsis

data EmptyRec0 (a :: k)
data NoRec0 (a :: k)
type ENoRec0 = 'Text "Cannot use generic function on NoRec0-wrapped type containing fields"

Documentation

data EmptyRec0 (a :: k) Source #

Free generic wrapper where every field does "nothing" (e.g. mempty.)

Maybe useful for testing?

Instances

Instances details

GenericContra (EmptyRec0 f :: Type) Source #	over types where all fields map to `mempty`
Instance details Defined in Generic.Data.Function.Contra.Constructor Associated Types type GenericContraF (EmptyRec0 f) :: Type -> Type Source # type GenericContraC (EmptyRec0 f) a Source # Methods genericContraF :: GenericContraC (EmptyRec0 f) a => GenericContraF (EmptyRec0 f) a Source #
Monoid m => GenericFoldMap (EmptyRec0 m :: Type) Source #	`foldMap` over types where all fields map to `mempty`.
Instance details Defined in Generic.Data.Function.FoldMap.Constructor Associated Types type GenericFoldMapM (EmptyRec0 m) Source # type GenericFoldMapC (EmptyRec0 m) a Source # Methods genericFoldMapF :: GenericFoldMapC (EmptyRec0 m) a => a -> GenericFoldMapM (EmptyRec0 m) Source #
GenericTraverse (EmptyRec0 f :: Type) Source #	`traverse` over types where all fields are replaced with the functor's `empty`. Note that one may write a valid instance using a `Monoid` on `a`s instead. I don't think you should. But I can't explain why.
Instance details Defined in Generic.Data.Function.Traverse.Constructor Associated Types type GenericTraverseF (EmptyRec0 f) :: Type -> Type Source # type GenericTraverseC (EmptyRec0 f) a Source # Methods genericTraverseAction :: GenericTraverseC (EmptyRec0 f) a => String -> String -> Maybe String -> Natural -> GenericTraverseF (EmptyRec0 f) a Source # genericTraverseV1 :: forall {k1} (p :: k1). GenericTraverseF (EmptyRec0 f) (V1 p) Source #
type GenericContraF (EmptyRec0 f :: Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Constructor type GenericContraF (EmptyRec0 f :: Type) = f
type GenericFoldMapM (EmptyRec0 m :: Type) Source #
Instance details Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapM (EmptyRec0 m :: Type) = m
type GenericTraverseF (EmptyRec0 f :: Type) Source #
Instance details Defined in Generic.Data.Function.Traverse.Constructor type GenericTraverseF (EmptyRec0 f :: Type) = f
type GenericContraC (EmptyRec0 f :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.Contra.Constructor type GenericContraC (EmptyRec0 f :: Type) _1 = Divisible f
type GenericFoldMapC (EmptyRec0 m :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapC (EmptyRec0 m :: Type) _1 = ()
type GenericTraverseC (EmptyRec0 f :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.Traverse.Constructor type GenericTraverseC (EmptyRec0 f :: Type) _1 = Alternative f

data NoRec0 (a :: k) Source #

Free generic wrapper where any field emits a type error.

Useful for generic functions on void or enum types.

Note that the type you use here must still fulfill any requirements e.g. for generic foldMap, it must be a Monoid, even though the instance won't be used. We could perhaps falsify these requirements with some dictionary cleverness, which would make using this a little easier. But I think it would be in bad taste.

Consider it a further-limited EmptyRec0.

Instances

Instances details

GenericContra (NoRec0 f :: Type) Source #	over types with no fields in any constructor
Instance details Defined in Generic.Data.Function.Contra.Constructor Associated Types type GenericContraF (NoRec0 f) :: Type -> Type Source # type GenericContraC (NoRec0 f) a Source # Methods genericContraF :: GenericContraC (NoRec0 f) a => GenericContraF (NoRec0 f) a Source #
GenericFoldMap (NoRec0 m :: Type) Source #	`foldMap` over types with no fields in any constructor.
Instance details Defined in Generic.Data.Function.FoldMap.Constructor Associated Types type GenericFoldMapM (NoRec0 m) Source # type GenericFoldMapC (NoRec0 m) a Source # Methods genericFoldMapF :: GenericFoldMapC (NoRec0 m) a => a -> GenericFoldMapM (NoRec0 m) Source #
GenericTraverse (NoRec0 f :: Type) Source #	`traverse` over types with no fields in any constructor.
Instance details Defined in Generic.Data.Function.Traverse.Constructor Associated Types type GenericTraverseF (NoRec0 f) :: Type -> Type Source # type GenericTraverseC (NoRec0 f) a Source # Methods genericTraverseAction :: GenericTraverseC (NoRec0 f) a => String -> String -> Maybe String -> Natural -> GenericTraverseF (NoRec0 f) a Source # genericTraverseV1 :: forall {k1} (p :: k1). GenericTraverseF (NoRec0 f) (V1 p) Source #
type GenericContraF (NoRec0 f :: Type) Source #
Instance details Defined in Generic.Data.Function.Contra.Constructor type GenericContraF (NoRec0 f :: Type) = f
type GenericFoldMapM (NoRec0 m :: Type) Source #
Instance details Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapM (NoRec0 m :: Type) = m
type GenericTraverseF (NoRec0 f :: Type) Source #
Instance details Defined in Generic.Data.Function.Traverse.Constructor type GenericTraverseF (NoRec0 f :: Type) = f
type GenericContraC (NoRec0 f :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.Contra.Constructor type GenericContraC (NoRec0 f :: Type) _1 = TypeError ENoRec0 :: Constraint
type GenericFoldMapC (NoRec0 m :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapC (NoRec0 m :: Type) _1 = TypeError ENoRec0 :: Constraint
type GenericTraverseC (NoRec0 f :: Type) _1 Source #
Instance details Defined in Generic.Data.Function.Traverse.Constructor type GenericTraverseC (NoRec0 f :: Type) _1 = TypeError ENoRec0 :: Constraint

type ENoRec0 = 'Text "Cannot use generic function on NoRec0-wrapped type containing fields" Source #