Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Wrapper types for using with DerivingVia
.
Documentation
Wrapper for using to derive instances via generics. Emit type error on
Rec0
base case i.e. any non-empty constructor.
Instances
Applicative NoRec0 Source # | |
Functor NoRec0 Source # | |
Monad NoRec0 Source # | |
GenericTraverse NoRec0 Source # |
|
Defined in Generic.Data.Function.Traverse.Constructor type GenericTraverseC NoRec0 a Source # | |
Generic (NoRec0 a) Source # | |
Show a => Show (NoRec0 a) Source # | |
GenericFoldMap (NoRec0 m) Source # |
|
Defined in Generic.Data.Function.FoldMap.Constructor type GenericFoldMapC (NoRec0 m) a Source # genericFoldMapF :: GenericFoldMapC (NoRec0 m) a => a -> NoRec0 m Source # | |
type GenericTraverseC NoRec0 a Source # | |
Defined in Generic.Data.Function.Traverse.Constructor | |
type Rep (NoRec0 a) Source # | |
Defined in Generic.Data.Function.Via | |
type GenericFoldMapC (NoRec0 m) _1 Source # | |
Defined in Generic.Data.Function.FoldMap.Constructor |
type ENoRec0 = 'Text "Cannot use generic function on NoRec0-wrapped type containing fields" Source #
Wrapper for using to derive instances via generics. Do nothing for Rec0
base case i.e. every constructor field.
"nothing" probably means mempty
, but *may* be another unit-like.
TODO This might not be useful. It's not "special" like NoRec0
, it's
basically tied to Monoid
. So it's useful for foldMap
, but kind of
arbitrary when applied to traverse
.
EmptyRec0 | |
|