Generic.Data.Wrappers

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

Documentation

data NoRec0 (a :: k)

Free generic wrapper where any field emits a type error.

Useful for generic functions on void or enum types.

Instances

GenericContra (NoRec0 f :: Type)

over types with no fields in any constructor

Defined in Generic.Data.Function.Contra.Constructor

Associated Types

type GenericContraF (NoRec0 f) :: Type -> Type

type GenericContraC (NoRec0 f) a

Methods

genericContraF :: GenericContraC (NoRec0 f) a => GenericContraF (NoRec0 f) a

GenericFoldMap (NoRec0 m :: Type)

foldMap over types with no fields in any constructor.

Defined in Generic.Data.Function.FoldMap.Constructor

Associated Types

type GenericFoldMapM (NoRec0 m)

type GenericFoldMapC (NoRec0 m) a

Methods

genericFoldMapF :: GenericFoldMapC (NoRec0 m) a => a -> GenericFoldMapM (NoRec0 m)

GenericTraverse (NoRec0 f :: Type)

traverse over types with no fields in any constructor.

Defined in Generic.Data.Function.Traverse.Constructor

Associated Types

type GenericTraverseF (NoRec0 f) :: Type -> Type

type GenericTraverseC (NoRec0 f) a

Methods

genericTraverseAction :: GenericTraverseC (NoRec0 f) a => String -> String -> Maybe String -> Natural -> GenericTraverseF (NoRec0 f) a

genericTraverseV1 :: forall {k1} (p :: k1). GenericTraverseF (NoRec0 f) (V1 p)

type GenericContraF (NoRec0 f :: Type)

Defined in Generic.Data.Function.Contra.Constructor

type GenericContraF (NoRec0 f :: Type) = f

type GenericFoldMapM (NoRec0 m :: Type)

Defined in Generic.Data.Function.FoldMap.Constructor

type GenericFoldMapM (NoRec0 m :: Type) = m

type GenericTraverseF (NoRec0 f :: Type)

Defined in Generic.Data.Function.Traverse.Constructor

type GenericTraverseF (NoRec0 f :: Type) = f

type GenericContraC (NoRec0 f :: Type) _1

Defined in Generic.Data.Function.Contra.Constructor

type GenericContraC (NoRec0 f :: Type) _1 = TypeError ENoRec0 :: Constraint

type GenericFoldMapC (NoRec0 m :: Type) _1

Defined in Generic.Data.Function.FoldMap.Constructor

type GenericFoldMapC (NoRec0 m :: Type) _1 = TypeError ENoRec0 :: Constraint

type GenericTraverseC (NoRec0 f :: Type) _1

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"

data EmptyRec0 (a :: k)

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

Maybe useful for testing?

Instances

GenericContra (EmptyRec0 f :: Type)

over types where all fields map to mempty

Defined in Generic.Data.Function.Contra.Constructor

Associated Types

type GenericContraF (EmptyRec0 f) :: Type -> Type

type GenericContraC (EmptyRec0 f) a

Methods

genericContraF :: GenericContraC (EmptyRec0 f) a => GenericContraF (EmptyRec0 f) a

Monoid m => GenericFoldMap (EmptyRec0 m :: Type)

foldMap over types where all fields map to mempty.

Defined in Generic.Data.Function.FoldMap.Constructor

Associated Types

type GenericFoldMapM (EmptyRec0 m)

type GenericFoldMapC (EmptyRec0 m) a

Methods

genericFoldMapF :: GenericFoldMapC (EmptyRec0 m) a => a -> GenericFoldMapM (EmptyRec0 m)

GenericTraverse (EmptyRec0 f :: Type)

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 as instead. I don't think you should. But I can't explain why.

Defined in Generic.Data.Function.Traverse.Constructor

Associated Types

type GenericTraverseF (EmptyRec0 f) :: Type -> Type

type GenericTraverseC (EmptyRec0 f) a

Methods

genericTraverseAction :: GenericTraverseC (EmptyRec0 f) a => String -> String -> Maybe String -> Natural -> GenericTraverseF (EmptyRec0 f) a

genericTraverseV1 :: forall {k1} (p :: k1). GenericTraverseF (EmptyRec0 f) (V1 p)

type GenericContraF (EmptyRec0 f :: Type)

Defined in Generic.Data.Function.Contra.Constructor

type GenericContraF (EmptyRec0 f :: Type) = f

type GenericFoldMapM (EmptyRec0 m :: Type)

Defined in Generic.Data.Function.FoldMap.Constructor

type GenericFoldMapM (EmptyRec0 m :: Type) = m

type GenericTraverseF (EmptyRec0 f :: Type)

Defined in Generic.Data.Function.Traverse.Constructor

type GenericTraverseF (EmptyRec0 f :: Type) = f

type GenericContraC (EmptyRec0 f :: Type) _1

Defined in Generic.Data.Function.Contra.Constructor

type GenericContraC (EmptyRec0 f :: Type) _1 = Divisible f

type GenericFoldMapC (EmptyRec0 m :: Type) _1

Defined in Generic.Data.Function.FoldMap.Constructor

type GenericFoldMapC (EmptyRec0 m :: Type) _1 = ()

type GenericTraverseC (EmptyRec0 f :: Type) _1

Defined in Generic.Data.Function.Traverse.Constructor

type GenericTraverseC (EmptyRec0 f :: Type) _1 = Alternative f