generic-type-functions-0.1.0: Familiar functions lifted to type-level functions on generic types
Safe HaskellSafe-Inferred
LanguageGHC2021

Generic.Type.Example

Documentation

data FieldCountSym a Source #

Instances

Instances details
type App (FieldCountSym :: FunKind a1 Natural -> Type) (a2 :: a1) Source # 
Instance details

Defined in Generic.Type.Example

type App (FieldCountSym :: FunKind a1 Natural -> Type) (a2 :: a1) = 1

data PlusSym f Source #

Instances

Instances details
type App PlusSym (f :: Natural) Source # 
Instance details

Defined in Generic.Type.Example

type App PlusSym (f :: Natural) = PlusSym1 f

data PlusSym1 l r Source #

Instances

Instances details
type App (PlusSym1 l :: FunKind Natural Natural -> Type) (r :: Natural) Source # 
Instance details

Defined in Generic.Type.Example

type App (PlusSym1 l :: FunKind Natural Natural -> Type) (r :: Natural) = l + r

data X3Fields Source #

Constructors

X3Fields 

Fields

Instances

Instances details
Generic X3Fields Source # 
Instance details

Defined in Generic.Type.Example

Associated Types

type Rep X3Fields :: Type -> Type #

Methods

from :: X3Fields -> Rep X3Fields x #

to :: Rep X3Fields x -> X3Fields #

type Rep X3Fields Source # 
Instance details

Defined in Generic.Type.Example

type Rep X3Fields = D1 ('MetaData "X3Fields" "Generic.Type.Example" "generic-type-functions-0.1.0-inplace" 'False) (C1 ('MetaCons "X3Fields" 'PrefixI 'True) (S1 ('MetaSel ('Just "x3Fields1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ()) :*: (S1 ('MetaSel ('Just "x3Fields2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ()) :*: S1 ('MetaSel ('Just "x3Fields3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ()))))