Staged.GHC.Generics.Instances

This module is a modified version of Generics.SOP.Instances. mostly the same.

Orphan instances

Generic Ordering

Associated Types

type Rep Ordering :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Ordering (Code q) x -> Code q Ordering

from :: forall (q :: Type -> Type) x r. Quote q => Code q Ordering -> (Rep Ordering (Code q) x -> Code q r) -> Code q r

Generic RuntimeRep

Associated Types

type Rep RuntimeRep :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RuntimeRep (Code q) x -> Code q RuntimeRep

from :: forall (q :: Type -> Type) x r. Quote q => Code q RuntimeRep -> (Rep RuntimeRep (Code q) x -> Code q r) -> Code q r

Generic VecCount

Associated Types

type Rep VecCount :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep VecCount (Code q) x -> Code q VecCount

from :: forall (q :: Type -> Type) x r. Quote q => Code q VecCount -> (Rep VecCount (Code q) x -> Code q r) -> Code q r

Generic VecElem

Associated Types

type Rep VecElem :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep VecElem (Code q) x -> Code q VecElem

from :: forall (q :: Type -> Type) x r. Quote q => Code q VecElem -> (Rep VecElem (Code q) x -> Code q r) -> Code q r

Generic R

Associated Types

type Rep R :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep R (Code q) x -> Code q R

from :: forall (q :: Type -> Type) x r. Quote q => Code q R -> (Rep R (Code q) x -> Code q r) -> Code q r

Generic D

Associated Types

type Rep D :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep D (Code q) x -> Code q D

from :: forall (q :: Type -> Type) x r. Quote q => Code q D -> (Rep D (Code q) x -> Code q r) -> Code q r

Generic C

Associated Types

type Rep C :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep C (Code q) x -> Code q C

from :: forall (q :: Type -> Type) x r. Quote q => Code q C -> (Rep C (Code q) x -> Code q r) -> Code q r

Generic S

Associated Types

type Rep S :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep S (Code q) x -> Code q S

from :: forall (q :: Type -> Type) x r. Quote q => Code q S -> (Rep S (Code q) x -> Code q r) -> Code q r

Generic CallStack

Associated Types

type Rep CallStack :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CallStack (Code q) x -> Code q CallStack

from :: forall (q :: Type -> Type) x r. Quote q => Code q CallStack -> (Rep CallStack (Code q) x -> Code q r) -> Code q r

Generic ()

Associated Types

type Rep () :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep () (Code q) x -> Code q ()

from :: forall (q :: Type -> Type) x r. Quote q => Code q () -> (Rep () (Code q) x -> Code q r) -> Code q r

Generic E0

Associated Types

type Rep E0 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E0 (Code q) x -> Code q E0

from :: forall (q :: Type -> Type) x r. Quote q => Code q E0 -> (Rep E0 (Code q) x -> Code q r) -> Code q r

Generic E1

Associated Types

type Rep E1 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E1 (Code q) x -> Code q E1

from :: forall (q :: Type -> Type) x r. Quote q => Code q E1 -> (Rep E1 (Code q) x -> Code q r) -> Code q r

Generic E2

Associated Types

type Rep E2 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E2 (Code q) x -> Code q E2

from :: forall (q :: Type -> Type) x r. Quote q => Code q E2 -> (Rep E2 (Code q) x -> Code q r) -> Code q r

Generic E3

Associated Types

type Rep E3 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E3 (Code q) x -> Code q E3

from :: forall (q :: Type -> Type) x r. Quote q => Code q E3 -> (Rep E3 (Code q) x -> Code q r) -> Code q r

Generic E6

Associated Types

type Rep E6 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E6 (Code q) x -> Code q E6

from :: forall (q :: Type -> Type) x r. Quote q => Code q E6 -> (Rep E6 (Code q) x -> Code q r) -> Code q r

Generic E9

Associated Types

type Rep E9 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E9 (Code q) x -> Code q E9

from :: forall (q :: Type -> Type) x r. Quote q => Code q E9 -> (Rep E9 (Code q) x -> Code q r) -> Code q r

Generic E12

Associated Types

type Rep E12 :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep E12 (Code q) x -> Code q E12

from :: forall (q :: Type -> Type) x r. Quote q => Code q E12 -> (Rep E12 (Code q) x -> Code q r) -> Code q r

Generic Void

Associated Types

type Rep Void :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Void (Code q) x -> Code q Void

from :: forall (q :: Type -> Type) x r. Quote q => Code q Void -> (Rep Void (Code q) x -> Code q r) -> Code q r

Generic DataRep

Associated Types

type Rep DataRep :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DataRep (Code q) x -> Code q DataRep

from :: forall (q :: Type -> Type) x r. Quote q => Code q DataRep -> (Rep DataRep (Code q) x -> Code q r) -> Code q r

Generic ConstrRep

Associated Types

type Rep ConstrRep :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ConstrRep (Code q) x -> Code q ConstrRep

from :: forall (q :: Type -> Type) x r. Quote q => Code q ConstrRep -> (Rep ConstrRep (Code q) x -> Code q r) -> Code q r

Generic Fixity

Associated Types

type Rep Fixity :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Fixity (Code q) x -> Code q Fixity

from :: forall (q :: Type -> Type) x r. Quote q => Code q Fixity -> (Rep Fixity (Code q) x -> Code q r) -> Code q r

Generic SrcLoc

Associated Types

type Rep SrcLoc :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep SrcLoc (Code q) x -> Code q SrcLoc

from :: forall (q :: Type -> Type) x r. Quote q => Code q SrcLoc -> (Rep SrcLoc (Code q) x -> Code q r) -> Code q r

Generic Location

Associated Types

type Rep Location :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Location (Code q) x -> Code q Location

from :: forall (q :: Type -> Type) x r. Quote q => Code q Location -> (Rep Location (Code q) x -> Code q r) -> Code q r

Generic RTSStats

Associated Types

type Rep RTSStats :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RTSStats (Code q) x -> Code q RTSStats

from :: forall (q :: Type -> Type) x r. Quote q => Code q RTSStats -> (Rep RTSStats (Code q) x -> Code q r) -> Code q r

Generic GCDetails

Associated Types

type Rep GCDetails :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep GCDetails (Code q) x -> Code q GCDetails

from :: forall (q :: Type -> Type) x r. Quote q => Code q GCDetails -> (Rep GCDetails (Code q) x -> Code q r) -> Code q r

Generic ByteOrder

Associated Types

type Rep ByteOrder :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ByteOrder (Code q) x -> Code q ByteOrder

from :: forall (q :: Type -> Type) x r. Quote q => Code q ByteOrder -> (Rep ByteOrder (Code q) x -> Code q r) -> Code q r

Generic StaticPtrInfo

Associated Types

type Rep StaticPtrInfo :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep StaticPtrInfo (Code q) x -> Code q StaticPtrInfo

from :: forall (q :: Type -> Type) x r. Quote q => Code q StaticPtrInfo -> (Rep StaticPtrInfo (Code q) x -> Code q r) -> Code q r

Generic FormatAdjustment

Associated Types

type Rep FormatAdjustment :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FormatAdjustment (Code q) x -> Code q FormatAdjustment

from :: forall (q :: Type -> Type) x r. Quote q => Code q FormatAdjustment -> (Rep FormatAdjustment (Code q) x -> Code q r) -> Code q r

Generic FormatSign

Associated Types

type Rep FormatSign :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FormatSign (Code q) x -> Code q FormatSign

from :: forall (q :: Type -> Type) x r. Quote q => Code q FormatSign -> (Rep FormatSign (Code q) x -> Code q r) -> Code q r

Generic FieldFormat

Associated Types

type Rep FieldFormat :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FieldFormat (Code q) x -> Code q FieldFormat

from :: forall (q :: Type -> Type) x r. Quote q => Code q FieldFormat -> (Rep FieldFormat (Code q) x -> Code q r) -> Code q r

Generic FormatParse

Associated Types

type Rep FormatParse :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FormatParse (Code q) x -> Code q FormatParse

from :: forall (q :: Type -> Type) x r. Quote q => Code q FormatParse -> (Rep FormatParse (Code q) x -> Code q r) -> Code q r

Generic HandlePosn

Associated Types

type Rep HandlePosn :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep HandlePosn (Code q) x -> Code q HandlePosn

from :: forall (q :: Type -> Type) x r. Quote q => Code q HandlePosn -> (Rep HandlePosn (Code q) x -> Code q r) -> Code q r

Generic PatternMatchFail

Associated Types

type Rep PatternMatchFail :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep PatternMatchFail (Code q) x -> Code q PatternMatchFail

from :: forall (q :: Type -> Type) x r. Quote q => Code q PatternMatchFail -> (Rep PatternMatchFail (Code q) x -> Code q r) -> Code q r

Generic RecSelError

Associated Types

type Rep RecSelError :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RecSelError (Code q) x -> Code q RecSelError

from :: forall (q :: Type -> Type) x r. Quote q => Code q RecSelError -> (Rep RecSelError (Code q) x -> Code q r) -> Code q r

Generic RecConError

Associated Types

type Rep RecConError :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RecConError (Code q) x -> Code q RecConError

from :: forall (q :: Type -> Type) x r. Quote q => Code q RecConError -> (Rep RecConError (Code q) x -> Code q r) -> Code q r

Generic RecUpdError

Associated Types

type Rep RecUpdError :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RecUpdError (Code q) x -> Code q RecUpdError

from :: forall (q :: Type -> Type) x r. Quote q => Code q RecUpdError -> (Rep RecUpdError (Code q) x -> Code q r) -> Code q r

Generic NoMethodError

Associated Types

type Rep NoMethodError :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep NoMethodError (Code q) x -> Code q NoMethodError

from :: forall (q :: Type -> Type) x r. Quote q => Code q NoMethodError -> (Rep NoMethodError (Code q) x -> Code q r) -> Code q r

Generic TypeError

Associated Types

type Rep TypeError :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep TypeError (Code q) x -> Code q TypeError

from :: forall (q :: Type -> Type) x r. Quote q => Code q TypeError -> (Rep TypeError (Code q) x -> Code q r) -> Code q r

Generic NonTermination

Associated Types

type Rep NonTermination :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep NonTermination (Code q) x -> Code q NonTermination

from :: forall (q :: Type -> Type) x r. Quote q => Code q NonTermination -> (Rep NonTermination (Code q) x -> Code q r) -> Code q r

Generic NestedAtomically

Associated Types

type Rep NestedAtomically :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep NestedAtomically (Code q) x -> Code q NestedAtomically

from :: forall (q :: Type -> Type) x r. Quote q => Code q NestedAtomically -> (Rep NestedAtomically (Code q) x -> Code q r) -> Code q r

Generic BlockReason

Associated Types

type Rep BlockReason :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep BlockReason (Code q) x -> Code q BlockReason

from :: forall (q :: Type -> Type) x r. Quote q => Code q BlockReason -> (Rep BlockReason (Code q) x -> Code q r) -> Code q r

Generic ThreadStatus

Associated Types

type Rep ThreadStatus :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ThreadStatus (Code q) x -> Code q ThreadStatus

from :: forall (q :: Type -> Type) x r. Quote q => Code q ThreadStatus -> (Rep ThreadStatus (Code q) x -> Code q r) -> Code q r

Generic GiveGCStats

Associated Types

type Rep GiveGCStats :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep GiveGCStats (Code q) x -> Code q GiveGCStats

from :: forall (q :: Type -> Type) x r. Quote q => Code q GiveGCStats -> (Rep GiveGCStats (Code q) x -> Code q r) -> Code q r

Generic GCFlags

Associated Types

type Rep GCFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep GCFlags (Code q) x -> Code q GCFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q GCFlags -> (Rep GCFlags (Code q) x -> Code q r) -> Code q r

Generic ConcFlags

Associated Types

type Rep ConcFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ConcFlags (Code q) x -> Code q ConcFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q ConcFlags -> (Rep ConcFlags (Code q) x -> Code q r) -> Code q r

Generic MiscFlags

Associated Types

type Rep MiscFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep MiscFlags (Code q) x -> Code q MiscFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q MiscFlags -> (Rep MiscFlags (Code q) x -> Code q r) -> Code q r

Generic DebugFlags

Associated Types

type Rep DebugFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DebugFlags (Code q) x -> Code q DebugFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q DebugFlags -> (Rep DebugFlags (Code q) x -> Code q r) -> Code q r

Generic DoCostCentres

Associated Types

type Rep DoCostCentres :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DoCostCentres (Code q) x -> Code q DoCostCentres

from :: forall (q :: Type -> Type) x r. Quote q => Code q DoCostCentres -> (Rep DoCostCentres (Code q) x -> Code q r) -> Code q r

Generic CCFlags

Associated Types

type Rep CCFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CCFlags (Code q) x -> Code q CCFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q CCFlags -> (Rep CCFlags (Code q) x -> Code q r) -> Code q r

Generic DoHeapProfile

Associated Types

type Rep DoHeapProfile :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DoHeapProfile (Code q) x -> Code q DoHeapProfile

from :: forall (q :: Type -> Type) x r. Quote q => Code q DoHeapProfile -> (Rep DoHeapProfile (Code q) x -> Code q r) -> Code q r

Generic ProfFlags

Associated Types

type Rep ProfFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ProfFlags (Code q) x -> Code q ProfFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q ProfFlags -> (Rep ProfFlags (Code q) x -> Code q r) -> Code q r

Generic DoTrace

Associated Types

type Rep DoTrace :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DoTrace (Code q) x -> Code q DoTrace

from :: forall (q :: Type -> Type) x r. Quote q => Code q DoTrace -> (Rep DoTrace (Code q) x -> Code q r) -> Code q r

Generic TraceFlags

Associated Types

type Rep TraceFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep TraceFlags (Code q) x -> Code q TraceFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q TraceFlags -> (Rep TraceFlags (Code q) x -> Code q r) -> Code q r

Generic TickyFlags

Associated Types

type Rep TickyFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep TickyFlags (Code q) x -> Code q TickyFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q TickyFlags -> (Rep TickyFlags (Code q) x -> Code q r) -> Code q r

Generic ParFlags

Associated Types

type Rep ParFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ParFlags (Code q) x -> Code q ParFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q ParFlags -> (Rep ParFlags (Code q) x -> Code q r) -> Code q r

Generic RTSFlags

Associated Types

type Rep RTSFlags :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep RTSFlags (Code q) x -> Code q RTSFlags

from :: forall (q :: Type -> Type) x r. Quote q => Code q RTSFlags -> (Rep RTSFlags (Code q) x -> Code q r) -> Code q r

Generic Errno

Associated Types

type Rep Errno :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Errno (Code q) x -> Code q Errno

from :: forall (q :: Type -> Type) x r. Quote q => Code q Errno -> (Rep Errno (Code q) x -> Code q r) -> Code q r

Generic CodingFailureMode

Associated Types

type Rep CodingFailureMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CodingFailureMode (Code q) x -> Code q CodingFailureMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q CodingFailureMode -> (Rep CodingFailureMode (Code q) x -> Code q r) -> Code q r

Generic BlockedIndefinitelyOnMVar

Associated Types

type Rep BlockedIndefinitelyOnMVar :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep BlockedIndefinitelyOnMVar (Code q) x -> Code q BlockedIndefinitelyOnMVar

from :: forall (q :: Type -> Type) x r. Quote q => Code q BlockedIndefinitelyOnMVar -> (Rep BlockedIndefinitelyOnMVar (Code q) x -> Code q r) -> Code q r

Generic BlockedIndefinitelyOnSTM

Associated Types

type Rep BlockedIndefinitelyOnSTM :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep BlockedIndefinitelyOnSTM (Code q) x -> Code q BlockedIndefinitelyOnSTM

from :: forall (q :: Type -> Type) x r. Quote q => Code q BlockedIndefinitelyOnSTM -> (Rep BlockedIndefinitelyOnSTM (Code q) x -> Code q r) -> Code q r

Generic Deadlock

Associated Types

type Rep Deadlock :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Deadlock (Code q) x -> Code q Deadlock

from :: forall (q :: Type -> Type) x r. Quote q => Code q Deadlock -> (Rep Deadlock (Code q) x -> Code q r) -> Code q r

Generic AllocationLimitExceeded

Associated Types

type Rep AllocationLimitExceeded :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep AllocationLimitExceeded (Code q) x -> Code q AllocationLimitExceeded

from :: forall (q :: Type -> Type) x r. Quote q => Code q AllocationLimitExceeded -> (Rep AllocationLimitExceeded (Code q) x -> Code q r) -> Code q r

Generic AssertionFailed

Associated Types

type Rep AssertionFailed :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep AssertionFailed (Code q) x -> Code q AssertionFailed

from :: forall (q :: Type -> Type) x r. Quote q => Code q AssertionFailed -> (Rep AssertionFailed (Code q) x -> Code q r) -> Code q r

Generic AsyncException

Associated Types

type Rep AsyncException :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep AsyncException (Code q) x -> Code q AsyncException

from :: forall (q :: Type -> Type) x r. Quote q => Code q AsyncException -> (Rep AsyncException (Code q) x -> Code q r) -> Code q r

Generic ArrayException

Associated Types

type Rep ArrayException :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ArrayException (Code q) x -> Code q ArrayException

from :: forall (q :: Type -> Type) x r. Quote q => Code q ArrayException -> (Rep ArrayException (Code q) x -> Code q r) -> Code q r

Generic FixIOException

Associated Types

type Rep FixIOException :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FixIOException (Code q) x -> Code q FixIOException

from :: forall (q :: Type -> Type) x r. Quote q => Code q FixIOException -> (Rep FixIOException (Code q) x -> Code q r) -> Code q r

Generic ExitCode

Associated Types

type Rep ExitCode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ExitCode (Code q) x -> Code q ExitCode

from :: forall (q :: Type -> Type) x r. Quote q => Code q ExitCode -> (Rep ExitCode (Code q) x -> Code q r) -> Code q r

Generic IOErrorType

Associated Types

type Rep IOErrorType :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep IOErrorType (Code q) x -> Code q IOErrorType

from :: forall (q :: Type -> Type) x r. Quote q => Code q IOErrorType -> (Rep IOErrorType (Code q) x -> Code q r) -> Code q r

Generic BufferMode

Associated Types

type Rep BufferMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep BufferMode (Code q) x -> Code q BufferMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q BufferMode -> (Rep BufferMode (Code q) x -> Code q r) -> Code q r

Generic Newline

Associated Types

type Rep Newline :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Newline (Code q) x -> Code q Newline

from :: forall (q :: Type -> Type) x r. Quote q => Code q Newline -> (Rep Newline (Code q) x -> Code q r) -> Code q r

Generic NewlineMode

Associated Types

type Rep NewlineMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep NewlineMode (Code q) x -> Code q NewlineMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q NewlineMode -> (Rep NewlineMode (Code q) x -> Code q r) -> Code q r

Generic IODeviceType

Associated Types

type Rep IODeviceType :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep IODeviceType (Code q) x -> Code q IODeviceType

from :: forall (q :: Type -> Type) x r. Quote q => Code q IODeviceType -> (Rep IODeviceType (Code q) x -> Code q r) -> Code q r

Generic SeekMode

Associated Types

type Rep SeekMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep SeekMode (Code q) x -> Code q SeekMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q SeekMode -> (Rep SeekMode (Code q) x -> Code q r) -> Code q r

Generic CodingProgress

Associated Types

type Rep CodingProgress :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CodingProgress (Code q) x -> Code q CodingProgress

from :: forall (q :: Type -> Type) x r. Quote q => Code q CodingProgress -> (Rep CodingProgress (Code q) x -> Code q r) -> Code q r

Generic BufferState

Associated Types

type Rep BufferState :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep BufferState (Code q) x -> Code q BufferState

from :: forall (q :: Type -> Type) x r. Quote q => Code q BufferState -> (Rep BufferState (Code q) x -> Code q r) -> Code q r

Generic MaskingState

Associated Types

type Rep MaskingState :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep MaskingState (Code q) x -> Code q MaskingState

from :: forall (q :: Type -> Type) x r. Quote q => Code q MaskingState -> (Rep MaskingState (Code q) x -> Code q r) -> Code q r

Generic IOException

Associated Types

type Rep IOException :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep IOException (Code q) x -> Code q IOException

from :: forall (q :: Type -> Type) x r. Quote q => Code q IOException -> (Rep IOException (Code q) x -> Code q r) -> Code q r

Generic LockMode

Associated Types

type Rep LockMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep LockMode (Code q) x -> Code q LockMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q LockMode -> (Rep LockMode (Code q) x -> Code q r) -> Code q r

Generic ErrorCall

Associated Types

type Rep ErrorCall :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ErrorCall (Code q) x -> Code q ErrorCall

from :: forall (q :: Type -> Type) x r. Quote q => Code q ErrorCall -> (Rep ErrorCall (Code q) x -> Code q r) -> Code q r

Generic ArithException

Associated Types

type Rep ArithException :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ArithException (Code q) x -> Code q ArithException

from :: forall (q :: Type -> Type) x r. Quote q => Code q ArithException -> (Rep ArithException (Code q) x -> Code q r) -> Code q r

Generic All

Associated Types

type Rep All :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep All (Code q) x -> Code q All

from :: forall (q :: Type -> Type) x r. Quote q => Code q All -> (Rep All (Code q) x -> Code q r) -> Code q r

Generic Any

Associated Types

type Rep Any :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Any (Code q) x -> Code q Any

from :: forall (q :: Type -> Type) x r. Quote q => Code q Any -> (Rep Any (Code q) x -> Code q r) -> Code q r

Generic Fixity

Associated Types

type Rep Fixity :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Fixity (Code q) x -> Code q Fixity

from :: forall (q :: Type -> Type) x r. Quote q => Code q Fixity -> (Rep Fixity (Code q) x -> Code q r) -> Code q r

Generic Associativity

Associated Types

type Rep Associativity :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Associativity (Code q) x -> Code q Associativity

from :: forall (q :: Type -> Type) x r. Quote q => Code q Associativity -> (Rep Associativity (Code q) x -> Code q r) -> Code q r

Generic SourceUnpackedness

Associated Types

type Rep SourceUnpackedness :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep SourceUnpackedness (Code q) x -> Code q SourceUnpackedness

from :: forall (q :: Type -> Type) x r. Quote q => Code q SourceUnpackedness -> (Rep SourceUnpackedness (Code q) x -> Code q r) -> Code q r

Generic SourceStrictness

Associated Types

type Rep SourceStrictness :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep SourceStrictness (Code q) x -> Code q SourceStrictness

from :: forall (q :: Type -> Type) x r. Quote q => Code q SourceStrictness -> (Rep SourceStrictness (Code q) x -> Code q r) -> Code q r

Generic DecidedStrictness

Associated Types

type Rep DecidedStrictness :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep DecidedStrictness (Code q) x -> Code q DecidedStrictness

from :: forall (q :: Type -> Type) x r. Quote q => Code q DecidedStrictness -> (Rep DecidedStrictness (Code q) x -> Code q r) -> Code q r

Generic CChar

Associated Types

type Rep CChar :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CChar (Code q) x -> Code q CChar

from :: forall (q :: Type -> Type) x r. Quote q => Code q CChar -> (Rep CChar (Code q) x -> Code q r) -> Code q r

Generic CSChar

Associated Types

type Rep CSChar :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CSChar (Code q) x -> Code q CSChar

from :: forall (q :: Type -> Type) x r. Quote q => Code q CSChar -> (Rep CSChar (Code q) x -> Code q r) -> Code q r

Generic CUChar

Associated Types

type Rep CUChar :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUChar (Code q) x -> Code q CUChar

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUChar -> (Rep CUChar (Code q) x -> Code q r) -> Code q r

Generic CShort

Associated Types

type Rep CShort :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CShort (Code q) x -> Code q CShort

from :: forall (q :: Type -> Type) x r. Quote q => Code q CShort -> (Rep CShort (Code q) x -> Code q r) -> Code q r

Generic CUShort

Associated Types

type Rep CUShort :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUShort (Code q) x -> Code q CUShort

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUShort -> (Rep CUShort (Code q) x -> Code q r) -> Code q r

Generic CInt

Associated Types

type Rep CInt :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CInt (Code q) x -> Code q CInt

from :: forall (q :: Type -> Type) x r. Quote q => Code q CInt -> (Rep CInt (Code q) x -> Code q r) -> Code q r

Generic CUInt

Associated Types

type Rep CUInt :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUInt (Code q) x -> Code q CUInt

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUInt -> (Rep CUInt (Code q) x -> Code q r) -> Code q r

Generic CLong

Associated Types

type Rep CLong :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CLong (Code q) x -> Code q CLong

from :: forall (q :: Type -> Type) x r. Quote q => Code q CLong -> (Rep CLong (Code q) x -> Code q r) -> Code q r

Generic CULong

Associated Types

type Rep CULong :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CULong (Code q) x -> Code q CULong

from :: forall (q :: Type -> Type) x r. Quote q => Code q CULong -> (Rep CULong (Code q) x -> Code q r) -> Code q r

Generic CLLong

Associated Types

type Rep CLLong :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CLLong (Code q) x -> Code q CLLong

from :: forall (q :: Type -> Type) x r. Quote q => Code q CLLong -> (Rep CLLong (Code q) x -> Code q r) -> Code q r

Generic CULLong

Associated Types

type Rep CULLong :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CULLong (Code q) x -> Code q CULLong

from :: forall (q :: Type -> Type) x r. Quote q => Code q CULLong -> (Rep CULLong (Code q) x -> Code q r) -> Code q r

Generic CFloat

Associated Types

type Rep CFloat :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CFloat (Code q) x -> Code q CFloat

from :: forall (q :: Type -> Type) x r. Quote q => Code q CFloat -> (Rep CFloat (Code q) x -> Code q r) -> Code q r

Generic CDouble

Associated Types

type Rep CDouble :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CDouble (Code q) x -> Code q CDouble

from :: forall (q :: Type -> Type) x r. Quote q => Code q CDouble -> (Rep CDouble (Code q) x -> Code q r) -> Code q r

Generic CPtrdiff

Associated Types

type Rep CPtrdiff :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CPtrdiff (Code q) x -> Code q CPtrdiff

from :: forall (q :: Type -> Type) x r. Quote q => Code q CPtrdiff -> (Rep CPtrdiff (Code q) x -> Code q r) -> Code q r

Generic CSize

Associated Types

type Rep CSize :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CSize (Code q) x -> Code q CSize

from :: forall (q :: Type -> Type) x r. Quote q => Code q CSize -> (Rep CSize (Code q) x -> Code q r) -> Code q r

Generic CWchar

Associated Types

type Rep CWchar :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CWchar (Code q) x -> Code q CWchar

from :: forall (q :: Type -> Type) x r. Quote q => Code q CWchar -> (Rep CWchar (Code q) x -> Code q r) -> Code q r

Generic CSigAtomic

Associated Types

type Rep CSigAtomic :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CSigAtomic (Code q) x -> Code q CSigAtomic

from :: forall (q :: Type -> Type) x r. Quote q => Code q CSigAtomic -> (Rep CSigAtomic (Code q) x -> Code q r) -> Code q r

Generic CClock

Associated Types

type Rep CClock :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CClock (Code q) x -> Code q CClock

from :: forall (q :: Type -> Type) x r. Quote q => Code q CClock -> (Rep CClock (Code q) x -> Code q r) -> Code q r

Generic CTime

Associated Types

type Rep CTime :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CTime (Code q) x -> Code q CTime

from :: forall (q :: Type -> Type) x r. Quote q => Code q CTime -> (Rep CTime (Code q) x -> Code q r) -> Code q r

Generic CUSeconds

Associated Types

type Rep CUSeconds :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUSeconds (Code q) x -> Code q CUSeconds

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUSeconds -> (Rep CUSeconds (Code q) x -> Code q r) -> Code q r

Generic CSUSeconds

Associated Types

type Rep CSUSeconds :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CSUSeconds (Code q) x -> Code q CSUSeconds

from :: forall (q :: Type -> Type) x r. Quote q => Code q CSUSeconds -> (Rep CSUSeconds (Code q) x -> Code q r) -> Code q r

Generic CIntPtr

Associated Types

type Rep CIntPtr :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CIntPtr (Code q) x -> Code q CIntPtr

from :: forall (q :: Type -> Type) x r. Quote q => Code q CIntPtr -> (Rep CIntPtr (Code q) x -> Code q r) -> Code q r

Generic CUIntPtr

Associated Types

type Rep CUIntPtr :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUIntPtr (Code q) x -> Code q CUIntPtr

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUIntPtr -> (Rep CUIntPtr (Code q) x -> Code q r) -> Code q r

Generic CIntMax

Associated Types

type Rep CIntMax :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CIntMax (Code q) x -> Code q CIntMax

from :: forall (q :: Type -> Type) x r. Quote q => Code q CIntMax -> (Rep CIntMax (Code q) x -> Code q r) -> Code q r

Generic CUIntMax

Associated Types

type Rep CUIntMax :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep CUIntMax (Code q) x -> Code q CUIntMax

from :: forall (q :: Type -> Type) x r. Quote q => Code q CUIntMax -> (Rep CUIntMax (Code q) x -> Code q r) -> Code q r

Generic IOMode

Associated Types

type Rep IOMode :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep IOMode (Code q) x -> Code q IOMode

from :: forall (q :: Type -> Type) x r. Quote q => Code q IOMode -> (Rep IOMode (Code q) x -> Code q r) -> Code q r

Generic Fingerprint

Associated Types

type Rep Fingerprint :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Fingerprint (Code q) x -> Code q Fingerprint

from :: forall (q :: Type -> Type) x r. Quote q => Code q Fingerprint -> (Rep Fingerprint (Code q) x -> Code q r) -> Code q r

Generic Lexeme

Associated Types

type Rep Lexeme :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Lexeme (Code q) x -> Code q Lexeme

from :: forall (q :: Type -> Type) x r. Quote q => Code q Lexeme -> (Rep Lexeme (Code q) x -> Code q r) -> Code q r

Generic Number

Associated Types

type Rep Number :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Number (Code q) x -> Code q Number

from :: forall (q :: Type -> Type) x r. Quote q => Code q Number -> (Rep Number (Code q) x -> Code q r) -> Code q r

Generic FFFormat

Associated Types

type Rep FFFormat :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep FFFormat (Code q) x -> Code q FFFormat

from :: forall (q :: Type -> Type) x r. Quote q => Code q FFFormat -> (Rep FFFormat (Code q) x -> Code q r) -> Code q r

Generic GeneralCategory

Associated Types

type Rep GeneralCategory :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep GeneralCategory (Code q) x -> Code q GeneralCategory

from :: forall (q :: Type -> Type) x r. Quote q => Code q GeneralCategory -> (Rep GeneralCategory (Code q) x -> Code q r) -> Code q r

Generic Version

Associated Types

type Rep Version :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep Version (Code q) x -> Code q Version

from :: forall (q :: Type -> Type) x r. Quote q => Code q Version -> (Rep Version (Code q) x -> Code q r) -> Code q r

Generic SrcLoc

Associated Types

type Rep SrcLoc :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep SrcLoc (Code q) x -> Code q SrcLoc

from :: forall (q :: Type -> Type) x r. Quote q => Code q SrcLoc -> (Rep SrcLoc (Code q) x -> Code q r) -> Code q r

Generic1 []

Associated Types

type Rep1 [] :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 [] (Code q) x -> Code q [x]

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q [x] -> (Rep1 [] (Code q) x -> Code q r) -> Code q r

Generic1 Maybe

Associated Types

type Rep1 Maybe :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Maybe (Code q) x -> Code q (Maybe x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Maybe x) -> (Rep1 Maybe (Code q) x -> Code q r) -> Code q r

Generic1 Min

Associated Types

type Rep1 Min :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Min (Code q) x -> Code q (Min x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Min x) -> (Rep1 Min (Code q) x -> Code q r) -> Code q r

Generic1 Max

Associated Types

type Rep1 Max :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Max (Code q) x -> Code q (Max x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Max x) -> (Rep1 Max (Code q) x -> Code q r) -> Code q r

Generic1 First

Associated Types

type Rep1 First :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 First (Code q) x -> Code q (First x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (First x) -> (Rep1 First (Code q) x -> Code q r) -> Code q r

Generic1 Last

Associated Types

type Rep1 Last :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Last (Code q) x -> Code q (Last x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Last x) -> (Rep1 Last (Code q) x -> Code q r) -> Code q r

Generic1 WrappedMonoid

Associated Types

type Rep1 WrappedMonoid :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 WrappedMonoid (Code q) x -> Code q (WrappedMonoid x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (WrappedMonoid x) -> (Rep1 WrappedMonoid (Code q) x -> Code q r) -> Code q r

Generic1 Option

Associated Types

type Rep1 Option :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Option (Code q) x -> Code q (Option x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Option x) -> (Rep1 Option (Code q) x -> Code q r) -> Code q r

Generic1 Identity

Associated Types

type Rep1 Identity :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Identity (Code q) x -> Code q (Identity x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Identity x) -> (Rep1 Identity (Code q) x -> Code q r) -> Code q r

Generic1 First

Associated Types

type Rep1 First :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 First (Code q) x -> Code q (First x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (First x) -> (Rep1 First (Code q) x -> Code q r) -> Code q r

Generic1 Last

Associated Types

type Rep1 Last :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Last (Code q) x -> Code q (Last x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Last x) -> (Rep1 Last (Code q) x -> Code q r) -> Code q r

Generic1 Dual

Associated Types

type Rep1 Dual :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Dual (Code q) x -> Code q (Dual x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Dual x) -> (Rep1 Dual (Code q) x -> Code q r) -> Code q r

Generic1 Sum

Associated Types

type Rep1 Sum :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Sum (Code q) x -> Code q (Sum x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Sum x) -> (Rep1 Sum (Code q) x -> Code q r) -> Code q r

Generic1 Product

Associated Types

type Rep1 Product :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Product (Code q) x -> Code q (Product x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Product x) -> (Rep1 Product (Code q) x -> Code q r) -> Code q r

Generic1 Down

Associated Types

type Rep1 Down :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 Down (Code q) x -> Code q (Down x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Down x) -> (Rep1 Down (Code q) x -> Code q r) -> Code q r

Generic1 NonEmpty

Associated Types

type Rep1 NonEmpty :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 NonEmpty (Code q) x -> Code q (NonEmpty x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (NonEmpty x) -> (Rep1 NonEmpty (Code q) x -> Code q r) -> Code q r

Generic1 (Either a :: Type -> Type)

Associated Types

type Rep1 (Either a) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 (Either a) (Code q) x -> Code q (Either a x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Either a x) -> (Rep1 (Either a) (Code q) x -> Code q r) -> Code q r

Generic1 ((,) a :: Type -> Type)

Associated Types

type Rep1 ((,) a) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,) a) (Code q) x -> Code q (a, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, x) -> (Rep1 ((,) a) (Code q) x -> Code q r) -> Code q r

Generic1 (Arg a :: Type -> Type)

Associated Types

type Rep1 (Arg a) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 (Arg a) (Code q) x -> Code q (Arg a x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Arg a x) -> (Rep1 (Arg a) (Code q) x -> Code q r) -> Code q r

Generic1 (Proxy :: k -> Type)

Associated Types

type Rep1 Proxy :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 Proxy (Code q) x -> Code q (Proxy x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (Proxy x) -> (Rep1 Proxy (Code q) x -> Code q r) -> Code q r

Generic1 ((,,) a b :: Type -> Type)

Associated Types

type Rep1 ((,,) a b) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,) a b) (Code q) x -> Code q (a, b, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, x) -> (Rep1 ((,,) a b) (Code q) x -> Code q r) -> Code q r

Generic1 (Const a :: k -> Type)

Associated Types

type Rep1 (Const a) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 (Const a) (Code q) x -> Code q (Const a x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (Const a x) -> (Rep1 (Const a) (Code q) x -> Code q r) -> Code q r

Generic1 (Alt f :: k -> Type)

Associated Types

type Rep1 (Alt f) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 (Alt f) (Code q) x -> Code q (Alt f x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (Alt f x) -> (Rep1 (Alt f) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,) a b c :: Type -> Type)

Associated Types

type Rep1 ((,,,) a b c) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,) a b c) (Code q) x -> Code q (a, b, c, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, x) -> (Rep1 ((,,,) a b c) (Code q) x -> Code q r) -> Code q r

Generic1 (Product f g :: k -> Type)

Associated Types

type Rep1 (Product f g) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 (Product f g) (Code q) x -> Code q (Product f g x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (Product f g x) -> (Rep1 (Product f g) (Code q) x -> Code q r) -> Code q r

Generic1 (Sum f g :: k -> Type)

Associated Types

type Rep1 (Sum f g) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 (Sum f g) (Code q) x -> Code q (Sum f g x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (Sum f g x) -> (Rep1 (Sum f g) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,) a b c d :: Type -> Type)

Associated Types

type Rep1 ((,,,,) a b c d) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,) a b c d) (Code q) x -> Code q (a, b, c, d, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, x) -> (Rep1 ((,,,,) a b c d) (Code q) x -> Code q r) -> Code q r

Generic1 (Compose f g :: k1 -> Type)

Associated Types

type Rep1 (Compose f g) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 (Compose f g) (Code q) x -> Code q (Compose f g x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (Compose f g x) -> (Rep1 (Compose f g) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,) a b c d e :: Type -> Type)

Associated Types

type Rep1 ((,,,,,) a b c d e) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,) a b c d e) (Code q) x -> Code q (a, b, c, d, e, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, x) -> (Rep1 ((,,,,,) a b c d e) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,) a b c d e f :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,) a b c d e f) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,,) a b c d e f) (Code q) x -> Code q (a, b, c, d, e, f, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, f, x) -> (Rep1 ((,,,,,,) a b c d e f) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,) a b c d e f g :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,) a b c d e f g) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,,,) a b c d e f g) (Code q) x -> Code q (a, b, c, d, e, f, g, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, f, g, x) -> (Rep1 ((,,,,,,,) a b c d e f g) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,) a b c d e f g h :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,) a b c d e f g h) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,,,,) a b c d e f g h) (Code q) x -> Code q (a, b, c, d, e, f, g, h, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, f, g, h, x) -> (Rep1 ((,,,,,,,,) a b c d e f g h) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,) a b c d e f g h i :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,) a b c d e f g h i) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,,,,,) a b c d e f g h i) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, x) -> (Rep1 ((,,,,,,,,,) a b c d e f g h i) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,) a b c d e f g h i j :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,) a b c d e f g h i j) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k). Quote q => Rep1 ((,,,,,,,,,,) a b c d e f g h i j) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, x)

from1 :: forall (q :: Type -> Type) (x :: k) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, x) -> (Rep1 ((,,,,,,,,,,) a b c d e f g h i j) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,) a b c d e f g h i j k :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, x) -> (Rep1 ((,,,,,,,,,,,) a b c d e f g h i j k) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,) a b c d e f g h i j k l :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, l, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, l, x) -> (Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, x) -> (Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, x) -> (Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, x) -> (Rep1 ((,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q :: Type -> Type) (x :: k0). Quote q => Rep1 ((,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p) (Code q) x -> Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, x)

from1 :: forall (q :: Type -> Type) (x :: k0) r. Quote q => Code q (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, x) -> (Rep1 ((,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p) (Code q) x -> Code q r) -> Code q r

Generic1 ((,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q) (Code q0) x -> Code q0 r) -> Code q0 r

Generic1 ((,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w) (Code q0) x -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)

from1 :: forall (q0 :: Type -> Type) (x :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w) (Code q0) x -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 :: Type -> Type)

Associated Types

type Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28) :: (Type -> Type) -> k -> Type

Methods

to1 :: forall (q0 :: Type -> Type) (x0 :: k0). Quote q0 => Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28) (Code q0) x0 -> Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, x0)

from1 :: forall (q0 :: Type -> Type) (x0 :: k0) r0. Quote q0 => Code q0 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, x0) -> (Rep1 ((,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28) (Code q0) x0 -> Code q0 r0) -> Code q0 r0

Generic (Maybe a)

Associated Types

type Rep (Maybe a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Maybe a) (Code q) x -> Code q (Maybe a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Maybe a) -> (Rep (Maybe a) (Code q) x -> Code q r) -> Code q r

Generic (Par1 p)

Associated Types

type Rep (Par1 p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Par1 p) (Code q) x -> Code q (Par1 p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Par1 p) -> (Rep (Par1 p) (Code q) x -> Code q r) -> Code q r

Generic (Complex a)

Associated Types

type Rep (Complex a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Complex a) (Code q) x -> Code q (Complex a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Complex a) -> (Rep (Complex a) (Code q) x -> Code q r) -> Code q r

Generic (Min a)

Associated Types

type Rep (Min a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Min a) (Code q) x -> Code q (Min a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Min a) -> (Rep (Min a) (Code q) x -> Code q r) -> Code q r

Generic (Max a)

Associated Types

type Rep (Max a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Max a) (Code q) x -> Code q (Max a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Max a) -> (Rep (Max a) (Code q) x -> Code q r) -> Code q r

Generic (First a)

Associated Types

type Rep (First a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (First a) (Code q) x -> Code q (First a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (First a) -> (Rep (First a) (Code q) x -> Code q r) -> Code q r

Generic (Last a)

Associated Types

type Rep (Last a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Last a) (Code q) x -> Code q (Last a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Last a) -> (Rep (Last a) (Code q) x -> Code q r) -> Code q r

Generic (WrappedMonoid m)

Associated Types

type Rep (WrappedMonoid m) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (WrappedMonoid m) (Code q) x -> Code q (WrappedMonoid m)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (WrappedMonoid m) -> (Rep (WrappedMonoid m) (Code q) x -> Code q r) -> Code q r

Generic (Option a)

Associated Types

type Rep (Option a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Option a) (Code q) x -> Code q (Option a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Option a) -> (Rep (Option a) (Code q) x -> Code q r) -> Code q r

Generic (ArgOrder a)

Associated Types

type Rep (ArgOrder a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (ArgOrder a) (Code q) x -> Code q (ArgOrder a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (ArgOrder a) -> (Rep (ArgOrder a) (Code q) x -> Code q r) -> Code q r

Generic (OptDescr a)

Associated Types

type Rep (OptDescr a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (OptDescr a) (Code q) x -> Code q (OptDescr a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (OptDescr a) -> (Rep (OptDescr a) (Code q) x -> Code q r) -> Code q r

Generic (ArgDescr a)

Associated Types

type Rep (ArgDescr a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (ArgDescr a) (Code q) x -> Code q (ArgDescr a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (ArgDescr a) -> (Rep (ArgDescr a) (Code q) x -> Code q r) -> Code q r

Generic (Identity a)

Associated Types

type Rep (Identity a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Identity a) (Code q) x -> Code q (Identity a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Identity a) -> (Rep (Identity a) (Code q) x -> Code q r) -> Code q r

Generic (Buffer e)

Associated Types

type Rep (Buffer e) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Buffer e) (Code q) x -> Code q (Buffer e)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Buffer e) -> (Rep (Buffer e) (Code q) x -> Code q r) -> Code q r

Generic (First a)

Associated Types

type Rep (First a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (First a) (Code q) x -> Code q (First a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (First a) -> (Rep (First a) (Code q) x -> Code q r) -> Code q r

Generic (Last a)

Associated Types

type Rep (Last a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Last a) (Code q) x -> Code q (Last a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Last a) -> (Rep (Last a) (Code q) x -> Code q r) -> Code q r

Generic (Dual a)

Associated Types

type Rep (Dual a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Dual a) (Code q) x -> Code q (Dual a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Dual a) -> (Rep (Dual a) (Code q) x -> Code q r) -> Code q r

Generic (Endo a)

Associated Types

type Rep (Endo a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Endo a) (Code q) x -> Code q (Endo a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Endo a) -> (Rep (Endo a) (Code q) x -> Code q r) -> Code q r

Generic (Sum a)

Associated Types

type Rep (Sum a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Sum a) (Code q) x -> Code q (Sum a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Sum a) -> (Rep (Sum a) (Code q) x -> Code q r) -> Code q r

Generic (Product a)

Associated Types

type Rep (Product a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Product a) (Code q) x -> Code q (Product a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Product a) -> (Rep (Product a) (Code q) x -> Code q r) -> Code q r

Generic (Down a)

Associated Types

type Rep (Down a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Down a) (Code q) x -> Code q (Down a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Down a) -> (Rep (Down a) (Code q) x -> Code q r) -> Code q r

Generic (NonEmpty a)

Associated Types

type Rep (NonEmpty a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (NonEmpty a) (Code q) x -> Code q (NonEmpty a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (NonEmpty a) -> (Rep (NonEmpty a) (Code q) x -> Code q r) -> Code q r

Generic (Either a b)

Associated Types

type Rep (Either a b) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Either a b) (Code q) x -> Code q (Either a b)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Either a b) -> (Rep (Either a b) (Code q) x -> Code q r) -> Code q r

Generic (V1 p)

Associated Types

type Rep (V1 p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (V1 p) (Code q) x -> Code q (V1 p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (V1 p) -> (Rep (V1 p) (Code q) x -> Code q r) -> Code q r

Generic (U1 p)

Associated Types

type Rep (U1 p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (U1 p) (Code q) x -> Code q (U1 p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (U1 p) -> (Rep (U1 p) (Code q) x -> Code q r) -> Code q r

Generic (a, b)

Associated Types

type Rep (a, b) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (a, b) (Code q) x -> Code q (a, b)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (a, b) -> (Rep (a, b) (Code q) x -> Code q r) -> Code q r

Generic (Fixed a)

Associated Types

type Rep (Fixed a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Fixed a) (Code q) x -> Code q (Fixed a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Fixed a) -> (Rep (Fixed a) (Code q) x -> Code q r) -> Code q r

Generic (Arg a b)

Associated Types

type Rep (Arg a b) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Arg a b) (Code q) x -> Code q (Arg a b)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Arg a b) -> (Rep (Arg a b) (Code q) x -> Code q r) -> Code q r

Generic (Proxy t)

Associated Types

type Rep (Proxy t) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Proxy t) (Code q) x -> Code q (Proxy t)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Proxy t) -> (Rep (Proxy t) (Code q) x -> Code q r) -> Code q r

Generic (a, b, c)

Associated Types

type Rep (a, b, c) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (a, b, c) (Code q) x -> Code q (a, b, c)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (a, b, c) -> (Rep (a, b, c) (Code q) x -> Code q r) -> Code q r

Generic (BufferCodec from to state)

Associated Types

type Rep (BufferCodec from to state) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (BufferCodec from to state) (Code q) x -> Code q (BufferCodec from to state)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (BufferCodec from to state) -> (Rep (BufferCodec from to state) (Code q) x -> Code q r) -> Code q r

Generic (Const a b)

Associated Types

type Rep (Const a b) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Const a b) (Code q) x -> Code q (Const a b)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Const a b) -> (Rep (Const a b) (Code q) x -> Code q r) -> Code q r

Generic (Alt f a)

Associated Types

type Rep (Alt f a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Alt f a) (Code q) x -> Code q (Alt f a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Alt f a) -> (Rep (Alt f a) (Code q) x -> Code q r) -> Code q r

Generic (K1 i c p)

Associated Types

type Rep (K1 i c p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (K1 i c p) (Code q) x -> Code q (K1 i c p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (K1 i c p) -> (Rep (K1 i c p) (Code q) x -> Code q r) -> Code q r

Generic ((f :+: g) p)

Associated Types

type Rep ((f :+: g) p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ((f :+: g) p) (Code q) x -> Code q ((f :+: g) p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q ((f :+: g) p) -> (Rep ((f :+: g) p) (Code q) x -> Code q r) -> Code q r

Generic ((f :*: g) p)

Associated Types

type Rep ((f :*: g) p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ((f :*: g) p) (Code q) x -> Code q ((f :*: g) p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q ((f :*: g) p) -> (Rep ((f :*: g) p) (Code q) x -> Code q r) -> Code q r

Generic (a, b, c, d)

Associated Types

type Rep (a, b, c, d) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (a, b, c, d) (Code q) x -> Code q (a, b, c, d)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (a, b, c, d) -> (Rep (a, b, c, d) (Code q) x -> Code q r) -> Code q r

Generic (Product f g a)

Associated Types

type Rep (Product f g a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Product f g a) (Code q) x -> Code q (Product f g a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Product f g a) -> (Rep (Product f g a) (Code q) x -> Code q r) -> Code q r

Generic (Sum f g a)

Associated Types

type Rep (Sum f g a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Sum f g a) (Code q) x -> Code q (Sum f g a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Sum f g a) -> (Rep (Sum f g a) (Code q) x -> Code q r) -> Code q r

Generic (M1 i c f p)

Associated Types

type Rep (M1 i c f p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (M1 i c f p) (Code q) x -> Code q (M1 i c f p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (M1 i c f p) -> (Rep (M1 i c f p) (Code q) x -> Code q r) -> Code q r

Generic ((f :.: g) p)

Associated Types

type Rep ((f :.: g) p) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep ((f :.: g) p) (Code q) x -> Code q ((f :.: g) p)

from :: forall (q :: Type -> Type) x r. Quote q => Code q ((f :.: g) p) -> (Rep ((f :.: g) p) (Code q) x -> Code q r) -> Code q r

Generic (a, b, c, d, e)

Associated Types

type Rep (a, b, c, d, e) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (a, b, c, d, e) (Code q) x -> Code q (a, b, c, d, e)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (a, b, c, d, e) -> (Rep (a, b, c, d, e) (Code q) x -> Code q r) -> Code q r

Generic (Compose f g a)

Associated Types

type Rep (Compose f g a) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (Compose f g a) (Code q) x -> Code q (Compose f g a)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (Compose f g a) -> (Rep (Compose f g a) (Code q) x -> Code q r) -> Code q r

Generic (a, b, c, d, e, f)

Associated Types

type Rep (a, b, c, d, e, f) :: (Type -> Type) -> Type -> Type

Methods

to :: forall (q :: Type -> Type) x. Quote q => Rep (a, b, c, d, e, f) (Code q) x -> Code q (a, b, c, d, e, f)

from :: forall (q :: Type -> Type) x r. Quote q => Code q (a, b, c, d, e, f) -> (Rep (a, b, c, d, e, f) (Code q) x -> Code q r) -> Code q r