Generics.SOP.Instances

Instances for Generic and HasMetadata.

We define instances for datatypes from generics-sop and base that are supported.

(There are only instances defined in this module, so the documentation is empty.)

Orphan instances

HasDatatypeInfo Bool

Associated Types

type DatatypeInfoOf Bool :: DatatypeInfo

Methods

datatypeInfo :: proxy Bool -> DatatypeInfo (Code Bool)

HasDatatypeInfo Ordering

Associated Types

type DatatypeInfoOf Ordering :: DatatypeInfo

Methods

datatypeInfo :: proxy Ordering -> DatatypeInfo (Code Ordering)

HasDatatypeInfo RuntimeRep

Associated Types

type DatatypeInfoOf RuntimeRep :: DatatypeInfo

Methods

datatypeInfo :: proxy RuntimeRep -> DatatypeInfo (Code RuntimeRep)

HasDatatypeInfo VecCount

Associated Types

type DatatypeInfoOf VecCount :: DatatypeInfo

Methods

datatypeInfo :: proxy VecCount -> DatatypeInfo (Code VecCount)

HasDatatypeInfo VecElem

Associated Types

type DatatypeInfoOf VecElem :: DatatypeInfo

Methods

datatypeInfo :: proxy VecElem -> DatatypeInfo (Code VecElem)

HasDatatypeInfo R

Associated Types

type DatatypeInfoOf R :: DatatypeInfo

Methods

datatypeInfo :: proxy R -> DatatypeInfo (Code R)

HasDatatypeInfo D

Associated Types

type DatatypeInfoOf D :: DatatypeInfo

Methods

datatypeInfo :: proxy D -> DatatypeInfo (Code D)

HasDatatypeInfo C

Associated Types

type DatatypeInfoOf C :: DatatypeInfo

Methods

datatypeInfo :: proxy C -> DatatypeInfo (Code C)

HasDatatypeInfo S

Associated Types

type DatatypeInfoOf S :: DatatypeInfo

Methods

datatypeInfo :: proxy S -> DatatypeInfo (Code S)

HasDatatypeInfo CallStack

Associated Types

type DatatypeInfoOf CallStack :: DatatypeInfo

Methods

datatypeInfo :: proxy CallStack -> DatatypeInfo (Code CallStack)

HasDatatypeInfo ()

Associated Types

type DatatypeInfoOf () :: DatatypeInfo

Methods

datatypeInfo :: proxy () -> DatatypeInfo (Code ())

HasDatatypeInfo FFFormat

Associated Types

type DatatypeInfoOf FFFormat :: DatatypeInfo

Methods

datatypeInfo :: proxy FFFormat -> DatatypeInfo (Code FFFormat)

HasDatatypeInfo E0

Associated Types

type DatatypeInfoOf E0 :: DatatypeInfo

Methods

datatypeInfo :: proxy E0 -> DatatypeInfo (Code E0)

HasDatatypeInfo E1

Associated Types

type DatatypeInfoOf E1 :: DatatypeInfo

Methods

datatypeInfo :: proxy E1 -> DatatypeInfo (Code E1)

HasDatatypeInfo E2

Associated Types

type DatatypeInfoOf E2 :: DatatypeInfo

Methods

datatypeInfo :: proxy E2 -> DatatypeInfo (Code E2)

HasDatatypeInfo E3

Associated Types

type DatatypeInfoOf E3 :: DatatypeInfo

Methods

datatypeInfo :: proxy E3 -> DatatypeInfo (Code E3)

HasDatatypeInfo E6

Associated Types

type DatatypeInfoOf E6 :: DatatypeInfo

Methods

datatypeInfo :: proxy E6 -> DatatypeInfo (Code E6)

HasDatatypeInfo E9

Associated Types

type DatatypeInfoOf E9 :: DatatypeInfo

Methods

datatypeInfo :: proxy E9 -> DatatypeInfo (Code E9)

HasDatatypeInfo E12

Associated Types

type DatatypeInfoOf E12 :: DatatypeInfo

Methods

datatypeInfo :: proxy E12 -> DatatypeInfo (Code E12)

HasDatatypeInfo Void

Associated Types

type DatatypeInfoOf Void :: DatatypeInfo

Methods

datatypeInfo :: proxy Void -> DatatypeInfo (Code Void)

HasDatatypeInfo StaticPtrInfo

Associated Types

type DatatypeInfoOf StaticPtrInfo :: DatatypeInfo

Methods

datatypeInfo :: proxy StaticPtrInfo -> DatatypeInfo (Code StaticPtrInfo)

HasDatatypeInfo SpecConstrAnnotation

Associated Types

type DatatypeInfoOf SpecConstrAnnotation :: DatatypeInfo

Methods

datatypeInfo :: proxy SpecConstrAnnotation -> DatatypeInfo (Code SpecConstrAnnotation)

HasDatatypeInfo DataRep

Associated Types

type DatatypeInfoOf DataRep :: DatatypeInfo

Methods

datatypeInfo :: proxy DataRep -> DatatypeInfo (Code DataRep)

HasDatatypeInfo ConstrRep

Associated Types

type DatatypeInfoOf ConstrRep :: DatatypeInfo

Methods

datatypeInfo :: proxy ConstrRep -> DatatypeInfo (Code ConstrRep)

HasDatatypeInfo Fixity

Associated Types

type DatatypeInfoOf Fixity :: DatatypeInfo

Methods

datatypeInfo :: proxy Fixity -> DatatypeInfo (Code Fixity)

HasDatatypeInfo SrcLoc

Associated Types

type DatatypeInfoOf SrcLoc :: DatatypeInfo

Methods

datatypeInfo :: proxy SrcLoc -> DatatypeInfo (Code SrcLoc)

HasDatatypeInfo Location

Associated Types

type DatatypeInfoOf Location :: DatatypeInfo

Methods

datatypeInfo :: proxy Location -> DatatypeInfo (Code Location)

HasDatatypeInfo GiveGCStats

Associated Types

type DatatypeInfoOf GiveGCStats :: DatatypeInfo

Methods

datatypeInfo :: proxy GiveGCStats -> DatatypeInfo (Code GiveGCStats)

HasDatatypeInfo GCFlags

Associated Types

type DatatypeInfoOf GCFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy GCFlags -> DatatypeInfo (Code GCFlags)

HasDatatypeInfo ConcFlags

Associated Types

type DatatypeInfoOf ConcFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy ConcFlags -> DatatypeInfo (Code ConcFlags)

HasDatatypeInfo MiscFlags

Associated Types

type DatatypeInfoOf MiscFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy MiscFlags -> DatatypeInfo (Code MiscFlags)

HasDatatypeInfo DebugFlags

Associated Types

type DatatypeInfoOf DebugFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy DebugFlags -> DatatypeInfo (Code DebugFlags)

HasDatatypeInfo DoCostCentres

Associated Types

type DatatypeInfoOf DoCostCentres :: DatatypeInfo

Methods

datatypeInfo :: proxy DoCostCentres -> DatatypeInfo (Code DoCostCentres)

HasDatatypeInfo CCFlags

Associated Types

type DatatypeInfoOf CCFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy CCFlags -> DatatypeInfo (Code CCFlags)

HasDatatypeInfo DoHeapProfile

Associated Types

type DatatypeInfoOf DoHeapProfile :: DatatypeInfo

Methods

datatypeInfo :: proxy DoHeapProfile -> DatatypeInfo (Code DoHeapProfile)

HasDatatypeInfo ProfFlags

Associated Types

type DatatypeInfoOf ProfFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy ProfFlags -> DatatypeInfo (Code ProfFlags)

HasDatatypeInfo DoTrace

Associated Types

type DatatypeInfoOf DoTrace :: DatatypeInfo

Methods

datatypeInfo :: proxy DoTrace -> DatatypeInfo (Code DoTrace)

HasDatatypeInfo TraceFlags

Associated Types

type DatatypeInfoOf TraceFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy TraceFlags -> DatatypeInfo (Code TraceFlags)

HasDatatypeInfo TickyFlags

Associated Types

type DatatypeInfoOf TickyFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy TickyFlags -> DatatypeInfo (Code TickyFlags)

HasDatatypeInfo ParFlags

Associated Types

type DatatypeInfoOf ParFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy ParFlags -> DatatypeInfo (Code ParFlags)

HasDatatypeInfo RTSFlags

Associated Types

type DatatypeInfoOf RTSFlags :: DatatypeInfo

Methods

datatypeInfo :: proxy RTSFlags -> DatatypeInfo (Code RTSFlags)

HasDatatypeInfo RTSStats

Associated Types

type DatatypeInfoOf RTSStats :: DatatypeInfo

Methods

datatypeInfo :: proxy RTSStats -> DatatypeInfo (Code RTSStats)

HasDatatypeInfo GCDetails

Associated Types

type DatatypeInfoOf GCDetails :: DatatypeInfo

Methods

datatypeInfo :: proxy GCDetails -> DatatypeInfo (Code GCDetails)

HasDatatypeInfo ByteOrder

Associated Types

type DatatypeInfoOf ByteOrder :: DatatypeInfo

Methods

datatypeInfo :: proxy ByteOrder -> DatatypeInfo (Code ByteOrder)

HasDatatypeInfo FormatAdjustment

Associated Types

type DatatypeInfoOf FormatAdjustment :: DatatypeInfo

Methods

datatypeInfo :: proxy FormatAdjustment -> DatatypeInfo (Code FormatAdjustment)

HasDatatypeInfo FormatSign

Associated Types

type DatatypeInfoOf FormatSign :: DatatypeInfo

Methods

datatypeInfo :: proxy FormatSign -> DatatypeInfo (Code FormatSign)

HasDatatypeInfo FieldFormat

Associated Types

type DatatypeInfoOf FieldFormat :: DatatypeInfo

Methods

datatypeInfo :: proxy FieldFormat -> DatatypeInfo (Code FieldFormat)

HasDatatypeInfo FormatParse

Associated Types

type DatatypeInfoOf FormatParse :: DatatypeInfo

Methods

datatypeInfo :: proxy FormatParse -> DatatypeInfo (Code FormatParse)

HasDatatypeInfo Version

Associated Types

type DatatypeInfoOf Version :: DatatypeInfo

Methods

datatypeInfo :: proxy Version -> DatatypeInfo (Code Version)

HasDatatypeInfo HandlePosn

Associated Types

type DatatypeInfoOf HandlePosn :: DatatypeInfo

Methods

datatypeInfo :: proxy HandlePosn -> DatatypeInfo (Code HandlePosn)

HasDatatypeInfo LockMode

Associated Types

type DatatypeInfoOf LockMode :: DatatypeInfo

Methods

datatypeInfo :: proxy LockMode -> DatatypeInfo (Code LockMode)

HasDatatypeInfo PatternMatchFail

Associated Types

type DatatypeInfoOf PatternMatchFail :: DatatypeInfo

Methods

datatypeInfo :: proxy PatternMatchFail -> DatatypeInfo (Code PatternMatchFail)

HasDatatypeInfo RecSelError

Associated Types

type DatatypeInfoOf RecSelError :: DatatypeInfo

Methods

datatypeInfo :: proxy RecSelError -> DatatypeInfo (Code RecSelError)

HasDatatypeInfo RecConError

Associated Types

type DatatypeInfoOf RecConError :: DatatypeInfo

Methods

datatypeInfo :: proxy RecConError -> DatatypeInfo (Code RecConError)

HasDatatypeInfo RecUpdError

Associated Types

type DatatypeInfoOf RecUpdError :: DatatypeInfo

Methods

datatypeInfo :: proxy RecUpdError -> DatatypeInfo (Code RecUpdError)

HasDatatypeInfo NoMethodError

Associated Types

type DatatypeInfoOf NoMethodError :: DatatypeInfo

Methods

datatypeInfo :: proxy NoMethodError -> DatatypeInfo (Code NoMethodError)

HasDatatypeInfo TypeError

Associated Types

type DatatypeInfoOf TypeError :: DatatypeInfo

Methods

datatypeInfo :: proxy TypeError -> DatatypeInfo (Code TypeError)

HasDatatypeInfo NonTermination

Associated Types

type DatatypeInfoOf NonTermination :: DatatypeInfo

Methods

datatypeInfo :: proxy NonTermination -> DatatypeInfo (Code NonTermination)

HasDatatypeInfo NestedAtomically

Associated Types

type DatatypeInfoOf NestedAtomically :: DatatypeInfo

Methods

datatypeInfo :: proxy NestedAtomically -> DatatypeInfo (Code NestedAtomically)

HasDatatypeInfo BlockReason

Associated Types

type DatatypeInfoOf BlockReason :: DatatypeInfo

Methods

datatypeInfo :: proxy BlockReason -> DatatypeInfo (Code BlockReason)

HasDatatypeInfo ThreadStatus

Associated Types

type DatatypeInfoOf ThreadStatus :: DatatypeInfo

Methods

datatypeInfo :: proxy ThreadStatus -> DatatypeInfo (Code ThreadStatus)

HasDatatypeInfo Errno

Associated Types

type DatatypeInfoOf Errno :: DatatypeInfo

Methods

datatypeInfo :: proxy Errno -> DatatypeInfo (Code Errno)

HasDatatypeInfo CodingFailureMode

Associated Types

type DatatypeInfoOf CodingFailureMode :: DatatypeInfo

Methods

datatypeInfo :: proxy CodingFailureMode -> DatatypeInfo (Code CodingFailureMode)

HasDatatypeInfo BlockedIndefinitelyOnMVar

Associated Types

type DatatypeInfoOf BlockedIndefinitelyOnMVar :: DatatypeInfo

Methods

datatypeInfo :: proxy BlockedIndefinitelyOnMVar -> DatatypeInfo (Code BlockedIndefinitelyOnMVar)

HasDatatypeInfo BlockedIndefinitelyOnSTM

Associated Types

type DatatypeInfoOf BlockedIndefinitelyOnSTM :: DatatypeInfo

Methods

datatypeInfo :: proxy BlockedIndefinitelyOnSTM -> DatatypeInfo (Code BlockedIndefinitelyOnSTM)

HasDatatypeInfo Deadlock

Associated Types

type DatatypeInfoOf Deadlock :: DatatypeInfo

Methods

datatypeInfo :: proxy Deadlock -> DatatypeInfo (Code Deadlock)

HasDatatypeInfo AllocationLimitExceeded

Associated Types

type DatatypeInfoOf AllocationLimitExceeded :: DatatypeInfo

Methods

datatypeInfo :: proxy AllocationLimitExceeded -> DatatypeInfo (Code AllocationLimitExceeded)

HasDatatypeInfo AssertionFailed

Associated Types

type DatatypeInfoOf AssertionFailed :: DatatypeInfo

Methods

datatypeInfo :: proxy AssertionFailed -> DatatypeInfo (Code AssertionFailed)

HasDatatypeInfo AsyncException

Associated Types

type DatatypeInfoOf AsyncException :: DatatypeInfo

Methods

datatypeInfo :: proxy AsyncException -> DatatypeInfo (Code AsyncException)

HasDatatypeInfo ArrayException

Associated Types

type DatatypeInfoOf ArrayException :: DatatypeInfo

Methods

datatypeInfo :: proxy ArrayException -> DatatypeInfo (Code ArrayException)

HasDatatypeInfo FixIOException

Associated Types

type DatatypeInfoOf FixIOException :: DatatypeInfo

Methods

datatypeInfo :: proxy FixIOException -> DatatypeInfo (Code FixIOException)

HasDatatypeInfo ExitCode

Associated Types

type DatatypeInfoOf ExitCode :: DatatypeInfo

Methods

datatypeInfo :: proxy ExitCode -> DatatypeInfo (Code ExitCode)

HasDatatypeInfo IOErrorType

Associated Types

type DatatypeInfoOf IOErrorType :: DatatypeInfo

Methods

datatypeInfo :: proxy IOErrorType -> DatatypeInfo (Code IOErrorType)

HasDatatypeInfo BufferMode

Associated Types

type DatatypeInfoOf BufferMode :: DatatypeInfo

Methods

datatypeInfo :: proxy BufferMode -> DatatypeInfo (Code BufferMode)

HasDatatypeInfo Newline

Associated Types

type DatatypeInfoOf Newline :: DatatypeInfo

Methods

datatypeInfo :: proxy Newline -> DatatypeInfo (Code Newline)

HasDatatypeInfo NewlineMode

Associated Types

type DatatypeInfoOf NewlineMode :: DatatypeInfo

Methods

datatypeInfo :: proxy NewlineMode -> DatatypeInfo (Code NewlineMode)

HasDatatypeInfo IODeviceType

Associated Types

type DatatypeInfoOf IODeviceType :: DatatypeInfo

Methods

datatypeInfo :: proxy IODeviceType -> DatatypeInfo (Code IODeviceType)

HasDatatypeInfo SeekMode

Associated Types

type DatatypeInfoOf SeekMode :: DatatypeInfo

Methods

datatypeInfo :: proxy SeekMode -> DatatypeInfo (Code SeekMode)

HasDatatypeInfo CodingProgress

Associated Types

type DatatypeInfoOf CodingProgress :: DatatypeInfo

Methods

datatypeInfo :: proxy CodingProgress -> DatatypeInfo (Code CodingProgress)

HasDatatypeInfo BufferState

Associated Types

type DatatypeInfoOf BufferState :: DatatypeInfo

Methods

datatypeInfo :: proxy BufferState -> DatatypeInfo (Code BufferState)

HasDatatypeInfo MaskingState

Associated Types

type DatatypeInfoOf MaskingState :: DatatypeInfo

Methods

datatypeInfo :: proxy MaskingState -> DatatypeInfo (Code MaskingState)

HasDatatypeInfo IOException

Associated Types

type DatatypeInfoOf IOException :: DatatypeInfo

Methods

datatypeInfo :: proxy IOException -> DatatypeInfo (Code IOException)

HasDatatypeInfo ErrorCall

Associated Types

type DatatypeInfoOf ErrorCall :: DatatypeInfo

Methods

datatypeInfo :: proxy ErrorCall -> DatatypeInfo (Code ErrorCall)

HasDatatypeInfo ArithException

Associated Types

type DatatypeInfoOf ArithException :: DatatypeInfo

Methods

datatypeInfo :: proxy ArithException -> DatatypeInfo (Code ArithException)

HasDatatypeInfo All

Associated Types

type DatatypeInfoOf All :: DatatypeInfo

Methods

datatypeInfo :: proxy All -> DatatypeInfo (Code All)

HasDatatypeInfo Any

Associated Types

type DatatypeInfoOf Any :: DatatypeInfo

Methods

datatypeInfo :: proxy Any -> DatatypeInfo (Code Any)

HasDatatypeInfo Fixity

Associated Types

type DatatypeInfoOf Fixity :: DatatypeInfo

Methods

datatypeInfo :: proxy Fixity -> DatatypeInfo (Code Fixity)

HasDatatypeInfo Associativity

Associated Types

type DatatypeInfoOf Associativity :: DatatypeInfo

Methods

datatypeInfo :: proxy Associativity -> DatatypeInfo (Code Associativity)

HasDatatypeInfo SourceUnpackedness

Associated Types

type DatatypeInfoOf SourceUnpackedness :: DatatypeInfo

Methods

datatypeInfo :: proxy SourceUnpackedness -> DatatypeInfo (Code SourceUnpackedness)

HasDatatypeInfo SourceStrictness

Associated Types

type DatatypeInfoOf SourceStrictness :: DatatypeInfo

Methods

datatypeInfo :: proxy SourceStrictness -> DatatypeInfo (Code SourceStrictness)

HasDatatypeInfo DecidedStrictness

Associated Types

type DatatypeInfoOf DecidedStrictness :: DatatypeInfo

Methods

datatypeInfo :: proxy DecidedStrictness -> DatatypeInfo (Code DecidedStrictness)

HasDatatypeInfo CChar

Associated Types

type DatatypeInfoOf CChar :: DatatypeInfo

Methods

datatypeInfo :: proxy CChar -> DatatypeInfo (Code CChar)

HasDatatypeInfo CSChar

Associated Types

type DatatypeInfoOf CSChar :: DatatypeInfo

Methods

datatypeInfo :: proxy CSChar -> DatatypeInfo (Code CSChar)

HasDatatypeInfo CUChar

Associated Types

type DatatypeInfoOf CUChar :: DatatypeInfo

Methods

datatypeInfo :: proxy CUChar -> DatatypeInfo (Code CUChar)

HasDatatypeInfo CShort

Associated Types

type DatatypeInfoOf CShort :: DatatypeInfo

Methods

datatypeInfo :: proxy CShort -> DatatypeInfo (Code CShort)

HasDatatypeInfo CUShort

Associated Types

type DatatypeInfoOf CUShort :: DatatypeInfo

Methods

datatypeInfo :: proxy CUShort -> DatatypeInfo (Code CUShort)

HasDatatypeInfo CInt

Associated Types

type DatatypeInfoOf CInt :: DatatypeInfo

Methods

datatypeInfo :: proxy CInt -> DatatypeInfo (Code CInt)

HasDatatypeInfo CUInt

Associated Types

type DatatypeInfoOf CUInt :: DatatypeInfo

Methods

datatypeInfo :: proxy CUInt -> DatatypeInfo (Code CUInt)

HasDatatypeInfo CLong

Associated Types

type DatatypeInfoOf CLong :: DatatypeInfo

Methods

datatypeInfo :: proxy CLong -> DatatypeInfo (Code CLong)

HasDatatypeInfo CULong

Associated Types

type DatatypeInfoOf CULong :: DatatypeInfo

Methods

datatypeInfo :: proxy CULong -> DatatypeInfo (Code CULong)

HasDatatypeInfo CLLong

Associated Types

type DatatypeInfoOf CLLong :: DatatypeInfo

Methods

datatypeInfo :: proxy CLLong -> DatatypeInfo (Code CLLong)

HasDatatypeInfo CULLong

Associated Types

type DatatypeInfoOf CULLong :: DatatypeInfo

Methods

datatypeInfo :: proxy CULLong -> DatatypeInfo (Code CULLong)

HasDatatypeInfo CFloat

Associated Types

type DatatypeInfoOf CFloat :: DatatypeInfo

Methods

datatypeInfo :: proxy CFloat -> DatatypeInfo (Code CFloat)

HasDatatypeInfo CDouble

Associated Types

type DatatypeInfoOf CDouble :: DatatypeInfo

Methods

datatypeInfo :: proxy CDouble -> DatatypeInfo (Code CDouble)

HasDatatypeInfo CPtrdiff

Associated Types

type DatatypeInfoOf CPtrdiff :: DatatypeInfo

Methods

datatypeInfo :: proxy CPtrdiff -> DatatypeInfo (Code CPtrdiff)

HasDatatypeInfo CSize

Associated Types

type DatatypeInfoOf CSize :: DatatypeInfo

Methods

datatypeInfo :: proxy CSize -> DatatypeInfo (Code CSize)

HasDatatypeInfo CWchar

Associated Types

type DatatypeInfoOf CWchar :: DatatypeInfo

Methods

datatypeInfo :: proxy CWchar -> DatatypeInfo (Code CWchar)

HasDatatypeInfo CSigAtomic

Associated Types

type DatatypeInfoOf CSigAtomic :: DatatypeInfo

Methods

datatypeInfo :: proxy CSigAtomic -> DatatypeInfo (Code CSigAtomic)

HasDatatypeInfo CClock

Associated Types

type DatatypeInfoOf CClock :: DatatypeInfo

Methods

datatypeInfo :: proxy CClock -> DatatypeInfo (Code CClock)

HasDatatypeInfo CTime

Associated Types

type DatatypeInfoOf CTime :: DatatypeInfo

Methods

datatypeInfo :: proxy CTime -> DatatypeInfo (Code CTime)

HasDatatypeInfo CUSeconds

Associated Types

type DatatypeInfoOf CUSeconds :: DatatypeInfo

Methods

datatypeInfo :: proxy CUSeconds -> DatatypeInfo (Code CUSeconds)

HasDatatypeInfo CSUSeconds

Associated Types

type DatatypeInfoOf CSUSeconds :: DatatypeInfo

Methods

datatypeInfo :: proxy CSUSeconds -> DatatypeInfo (Code CSUSeconds)

HasDatatypeInfo CIntPtr

Associated Types

type DatatypeInfoOf CIntPtr :: DatatypeInfo

Methods

datatypeInfo :: proxy CIntPtr -> DatatypeInfo (Code CIntPtr)

HasDatatypeInfo CUIntPtr

Associated Types

type DatatypeInfoOf CUIntPtr :: DatatypeInfo

Methods

datatypeInfo :: proxy CUIntPtr -> DatatypeInfo (Code CUIntPtr)

HasDatatypeInfo CIntMax

Associated Types

type DatatypeInfoOf CIntMax :: DatatypeInfo

Methods

datatypeInfo :: proxy CIntMax -> DatatypeInfo (Code CIntMax)

HasDatatypeInfo CUIntMax

Associated Types

type DatatypeInfoOf CUIntMax :: DatatypeInfo

Methods

datatypeInfo :: proxy CUIntMax -> DatatypeInfo (Code CUIntMax)

HasDatatypeInfo IOMode

Associated Types

type DatatypeInfoOf IOMode :: DatatypeInfo

Methods

datatypeInfo :: proxy IOMode -> DatatypeInfo (Code IOMode)

HasDatatypeInfo Fingerprint

Associated Types

type DatatypeInfoOf Fingerprint :: DatatypeInfo

Methods

datatypeInfo :: proxy Fingerprint -> DatatypeInfo (Code Fingerprint)

HasDatatypeInfo Lexeme

Associated Types

type DatatypeInfoOf Lexeme :: DatatypeInfo

Methods

datatypeInfo :: proxy Lexeme -> DatatypeInfo (Code Lexeme)

HasDatatypeInfo Number

Associated Types

type DatatypeInfoOf Number :: DatatypeInfo

Methods

datatypeInfo :: proxy Number -> DatatypeInfo (Code Number)

HasDatatypeInfo GeneralCategory

Associated Types

type DatatypeInfoOf GeneralCategory :: DatatypeInfo

Methods

datatypeInfo :: proxy GeneralCategory -> DatatypeInfo (Code GeneralCategory)

HasDatatypeInfo SrcLoc

Associated Types

type DatatypeInfoOf SrcLoc :: DatatypeInfo

Methods

datatypeInfo :: proxy SrcLoc -> DatatypeInfo (Code SrcLoc)

Generic Bool

Associated Types

type Code Bool :: [[Type]]

Methods

from :: Bool -> Rep Bool

to :: Rep Bool -> Bool

Generic Ordering

Associated Types

type Code Ordering :: [[Type]]

Methods

from :: Ordering -> Rep Ordering

to :: Rep Ordering -> Ordering

Generic RuntimeRep

Associated Types

type Code RuntimeRep :: [[Type]]

Methods

from :: RuntimeRep -> Rep RuntimeRep

to :: Rep RuntimeRep -> RuntimeRep

Generic VecCount

Associated Types

type Code VecCount :: [[Type]]

Methods

from :: VecCount -> Rep VecCount

to :: Rep VecCount -> VecCount

Generic VecElem

Associated Types

type Code VecElem :: [[Type]]

Methods

from :: VecElem -> Rep VecElem

to :: Rep VecElem -> VecElem

Generic R

Associated Types

type Code R :: [[Type]]

Methods

from :: R -> Rep R

to :: Rep R -> R

Generic D

Associated Types

type Code D :: [[Type]]

Methods

from :: D -> Rep D

to :: Rep D -> D

Generic C

Associated Types

type Code C :: [[Type]]

Methods

from :: C -> Rep C

to :: Rep C -> C

Generic S

Associated Types

type Code S :: [[Type]]

Methods

from :: S -> Rep S

to :: Rep S -> S

Generic CallStack

Associated Types

type Code CallStack :: [[Type]]

Methods

from :: CallStack -> Rep CallStack

to :: Rep CallStack -> CallStack

Generic ()

Associated Types

type Code () :: [[Type]]

Methods

from :: () -> Rep ()

to :: Rep () -> ()

Generic FFFormat

Associated Types

type Code FFFormat :: [[Type]]

Methods

from :: FFFormat -> Rep FFFormat

to :: Rep FFFormat -> FFFormat

Generic E0

Associated Types

type Code E0 :: [[Type]]

Methods

from :: E0 -> Rep E0

to :: Rep E0 -> E0

Generic E1

Associated Types

type Code E1 :: [[Type]]

Methods

from :: E1 -> Rep E1

to :: Rep E1 -> E1

Generic E2

Associated Types

type Code E2 :: [[Type]]

Methods

from :: E2 -> Rep E2

to :: Rep E2 -> E2

Generic E3

Associated Types

type Code E3 :: [[Type]]

Methods

from :: E3 -> Rep E3

to :: Rep E3 -> E3

Generic E6

Associated Types

type Code E6 :: [[Type]]

Methods

from :: E6 -> Rep E6

to :: Rep E6 -> E6

Generic E9

Associated Types

type Code E9 :: [[Type]]

Methods

from :: E9 -> Rep E9

to :: Rep E9 -> E9

Generic E12

Associated Types

type Code E12 :: [[Type]]

Methods

from :: E12 -> Rep E12

to :: Rep E12 -> E12

Generic Void

Associated Types

type Code Void :: [[Type]]

Methods

from :: Void -> Rep Void

to :: Rep Void -> Void

Generic StaticPtrInfo

Associated Types

type Code StaticPtrInfo :: [[Type]]

Methods

from :: StaticPtrInfo -> Rep StaticPtrInfo

to :: Rep StaticPtrInfo -> StaticPtrInfo

Generic SpecConstrAnnotation

Associated Types

type Code SpecConstrAnnotation :: [[Type]]

Methods

from :: SpecConstrAnnotation -> Rep SpecConstrAnnotation

to :: Rep SpecConstrAnnotation -> SpecConstrAnnotation

Generic DataRep

Associated Types

type Code DataRep :: [[Type]]

Methods

from :: DataRep -> Rep DataRep

to :: Rep DataRep -> DataRep

Generic ConstrRep

Associated Types

type Code ConstrRep :: [[Type]]

Methods

from :: ConstrRep -> Rep ConstrRep

to :: Rep ConstrRep -> ConstrRep

Generic Fixity

Associated Types

type Code Fixity :: [[Type]]

Methods

from :: Fixity -> Rep Fixity

to :: Rep Fixity -> Fixity

Generic SrcLoc

Associated Types

type Code SrcLoc :: [[Type]]

Methods

from :: SrcLoc -> Rep SrcLoc

to :: Rep SrcLoc -> SrcLoc

Generic Location

Associated Types

type Code Location :: [[Type]]

Methods

from :: Location -> Rep Location

to :: Rep Location -> Location

Generic GiveGCStats

Associated Types

type Code GiveGCStats :: [[Type]]

Methods

from :: GiveGCStats -> Rep GiveGCStats

to :: Rep GiveGCStats -> GiveGCStats

Generic GCFlags

Associated Types

type Code GCFlags :: [[Type]]

Methods

from :: GCFlags -> Rep GCFlags

to :: Rep GCFlags -> GCFlags

Generic ConcFlags

Associated Types

type Code ConcFlags :: [[Type]]

Methods

from :: ConcFlags -> Rep ConcFlags

to :: Rep ConcFlags -> ConcFlags

Generic MiscFlags

Associated Types

type Code MiscFlags :: [[Type]]

Methods

from :: MiscFlags -> Rep MiscFlags

to :: Rep MiscFlags -> MiscFlags

Generic DebugFlags

Associated Types

type Code DebugFlags :: [[Type]]

Methods

from :: DebugFlags -> Rep DebugFlags

to :: Rep DebugFlags -> DebugFlags

Generic DoCostCentres

Associated Types

type Code DoCostCentres :: [[Type]]

Methods

from :: DoCostCentres -> Rep DoCostCentres

to :: Rep DoCostCentres -> DoCostCentres

Generic CCFlags

Associated Types

type Code CCFlags :: [[Type]]

Methods

from :: CCFlags -> Rep CCFlags

to :: Rep CCFlags -> CCFlags

Generic DoHeapProfile

Associated Types

type Code DoHeapProfile :: [[Type]]

Methods

from :: DoHeapProfile -> Rep DoHeapProfile

to :: Rep DoHeapProfile -> DoHeapProfile

Generic ProfFlags

Associated Types

type Code ProfFlags :: [[Type]]

Methods

from :: ProfFlags -> Rep ProfFlags

to :: Rep ProfFlags -> ProfFlags

Generic DoTrace

Associated Types

type Code DoTrace :: [[Type]]

Methods

from :: DoTrace -> Rep DoTrace

to :: Rep DoTrace -> DoTrace

Generic TraceFlags

Associated Types

type Code TraceFlags :: [[Type]]

Methods

from :: TraceFlags -> Rep TraceFlags

to :: Rep TraceFlags -> TraceFlags

Generic TickyFlags

Associated Types

type Code TickyFlags :: [[Type]]

Methods

from :: TickyFlags -> Rep TickyFlags

to :: Rep TickyFlags -> TickyFlags

Generic ParFlags

Associated Types

type Code ParFlags :: [[Type]]

Methods

from :: ParFlags -> Rep ParFlags

to :: Rep ParFlags -> ParFlags

Generic RTSFlags

Associated Types

type Code RTSFlags :: [[Type]]

Methods

from :: RTSFlags -> Rep RTSFlags

to :: Rep RTSFlags -> RTSFlags

Generic RTSStats

Associated Types

type Code RTSStats :: [[Type]]

Methods

from :: RTSStats -> Rep RTSStats

to :: Rep RTSStats -> RTSStats

Generic GCDetails

Associated Types

type Code GCDetails :: [[Type]]

Methods

from :: GCDetails -> Rep GCDetails

to :: Rep GCDetails -> GCDetails

Generic ByteOrder

Associated Types

type Code ByteOrder :: [[Type]]

Methods

from :: ByteOrder -> Rep ByteOrder

to :: Rep ByteOrder -> ByteOrder

Generic FormatAdjustment

Associated Types

type Code FormatAdjustment :: [[Type]]

Methods

from :: FormatAdjustment -> Rep FormatAdjustment

to :: Rep FormatAdjustment -> FormatAdjustment

Generic FormatSign

Associated Types

type Code FormatSign :: [[Type]]

Methods

from :: FormatSign -> Rep FormatSign

to :: Rep FormatSign -> FormatSign

Generic FieldFormat

Associated Types

type Code FieldFormat :: [[Type]]

Methods

from :: FieldFormat -> Rep FieldFormat

to :: Rep FieldFormat -> FieldFormat

Generic FormatParse

Associated Types

type Code FormatParse :: [[Type]]

Methods

from :: FormatParse -> Rep FormatParse

to :: Rep FormatParse -> FormatParse

Generic Version

Associated Types

type Code Version :: [[Type]]

Methods

from :: Version -> Rep Version

to :: Rep Version -> Version

Generic HandlePosn

Associated Types

type Code HandlePosn :: [[Type]]

Methods

from :: HandlePosn -> Rep HandlePosn

to :: Rep HandlePosn -> HandlePosn

Generic LockMode

Associated Types

type Code LockMode :: [[Type]]

Methods

from :: LockMode -> Rep LockMode

to :: Rep LockMode -> LockMode

Generic PatternMatchFail

Associated Types

type Code PatternMatchFail :: [[Type]]

Methods

from :: PatternMatchFail -> Rep PatternMatchFail

to :: Rep PatternMatchFail -> PatternMatchFail

Generic RecSelError

Associated Types

type Code RecSelError :: [[Type]]

Methods

from :: RecSelError -> Rep RecSelError

to :: Rep RecSelError -> RecSelError

Generic RecConError

Associated Types

type Code RecConError :: [[Type]]

Methods

from :: RecConError -> Rep RecConError

to :: Rep RecConError -> RecConError

Generic RecUpdError

Associated Types

type Code RecUpdError :: [[Type]]

Methods

from :: RecUpdError -> Rep RecUpdError

to :: Rep RecUpdError -> RecUpdError

Generic NoMethodError

Associated Types

type Code NoMethodError :: [[Type]]

Methods

from :: NoMethodError -> Rep NoMethodError

to :: Rep NoMethodError -> NoMethodError

Generic TypeError

Associated Types

type Code TypeError :: [[Type]]

Methods

from :: TypeError -> Rep TypeError

to :: Rep TypeError -> TypeError

Generic NonTermination

Associated Types

type Code NonTermination :: [[Type]]

Methods

from :: NonTermination -> Rep NonTermination

to :: Rep NonTermination -> NonTermination

Generic NestedAtomically

Associated Types

type Code NestedAtomically :: [[Type]]

Methods

from :: NestedAtomically -> Rep NestedAtomically

to :: Rep NestedAtomically -> NestedAtomically

Generic BlockReason

Associated Types

type Code BlockReason :: [[Type]]

Methods

from :: BlockReason -> Rep BlockReason

to :: Rep BlockReason -> BlockReason

Generic ThreadStatus

Associated Types

type Code ThreadStatus :: [[Type]]

Methods

from :: ThreadStatus -> Rep ThreadStatus

to :: Rep ThreadStatus -> ThreadStatus

Generic Errno

Associated Types

type Code Errno :: [[Type]]

Methods

from :: Errno -> Rep Errno

to :: Rep Errno -> Errno

Generic CodingFailureMode

Associated Types

type Code CodingFailureMode :: [[Type]]

Methods

from :: CodingFailureMode -> Rep CodingFailureMode

to :: Rep CodingFailureMode -> CodingFailureMode

Generic BlockedIndefinitelyOnMVar

Associated Types

type Code BlockedIndefinitelyOnMVar :: [[Type]]

Methods

from :: BlockedIndefinitelyOnMVar -> Rep BlockedIndefinitelyOnMVar

to :: Rep BlockedIndefinitelyOnMVar -> BlockedIndefinitelyOnMVar

Generic BlockedIndefinitelyOnSTM

Associated Types

type Code BlockedIndefinitelyOnSTM :: [[Type]]

Methods

from :: BlockedIndefinitelyOnSTM -> Rep BlockedIndefinitelyOnSTM

to :: Rep BlockedIndefinitelyOnSTM -> BlockedIndefinitelyOnSTM

Generic Deadlock

Associated Types

type Code Deadlock :: [[Type]]

Methods

from :: Deadlock -> Rep Deadlock

to :: Rep Deadlock -> Deadlock

Generic AllocationLimitExceeded

Associated Types

type Code AllocationLimitExceeded :: [[Type]]

Methods

from :: AllocationLimitExceeded -> Rep AllocationLimitExceeded

to :: Rep AllocationLimitExceeded -> AllocationLimitExceeded

Generic AssertionFailed

Associated Types

type Code AssertionFailed :: [[Type]]

Methods

from :: AssertionFailed -> Rep AssertionFailed

to :: Rep AssertionFailed -> AssertionFailed

Generic AsyncException

Associated Types

type Code AsyncException :: [[Type]]

Methods

from :: AsyncException -> Rep AsyncException

to :: Rep AsyncException -> AsyncException

Generic ArrayException

Associated Types

type Code ArrayException :: [[Type]]

Methods

from :: ArrayException -> Rep ArrayException

to :: Rep ArrayException -> ArrayException

Generic FixIOException

Associated Types

type Code FixIOException :: [[Type]]

Methods

from :: FixIOException -> Rep FixIOException

to :: Rep FixIOException -> FixIOException

Generic ExitCode

Associated Types

type Code ExitCode :: [[Type]]

Methods

from :: ExitCode -> Rep ExitCode

to :: Rep ExitCode -> ExitCode

Generic IOErrorType

Associated Types

type Code IOErrorType :: [[Type]]

Methods

from :: IOErrorType -> Rep IOErrorType

to :: Rep IOErrorType -> IOErrorType

Generic BufferMode

Associated Types

type Code BufferMode :: [[Type]]

Methods

from :: BufferMode -> Rep BufferMode

to :: Rep BufferMode -> BufferMode

Generic Newline

Associated Types

type Code Newline :: [[Type]]

Methods

from :: Newline -> Rep Newline

to :: Rep Newline -> Newline

Generic NewlineMode

Associated Types

type Code NewlineMode :: [[Type]]

Methods

from :: NewlineMode -> Rep NewlineMode

to :: Rep NewlineMode -> NewlineMode

Generic IODeviceType

Associated Types

type Code IODeviceType :: [[Type]]

Methods

from :: IODeviceType -> Rep IODeviceType

to :: Rep IODeviceType -> IODeviceType

Generic SeekMode

Associated Types

type Code SeekMode :: [[Type]]

Methods

from :: SeekMode -> Rep SeekMode

to :: Rep SeekMode -> SeekMode

Generic CodingProgress

Associated Types

type Code CodingProgress :: [[Type]]

Methods

from :: CodingProgress -> Rep CodingProgress

to :: Rep CodingProgress -> CodingProgress

Generic BufferState

Associated Types

type Code BufferState :: [[Type]]

Methods

from :: BufferState -> Rep BufferState

to :: Rep BufferState -> BufferState

Generic MaskingState

Associated Types

type Code MaskingState :: [[Type]]

Methods

from :: MaskingState -> Rep MaskingState

to :: Rep MaskingState -> MaskingState

Generic IOException

Associated Types

type Code IOException :: [[Type]]

Methods

from :: IOException -> Rep IOException

to :: Rep IOException -> IOException

Generic ErrorCall

Associated Types

type Code ErrorCall :: [[Type]]

Methods

from :: ErrorCall -> Rep ErrorCall

to :: Rep ErrorCall -> ErrorCall

Generic ArithException

Associated Types

type Code ArithException :: [[Type]]

Methods

from :: ArithException -> Rep ArithException

to :: Rep ArithException -> ArithException

Generic All

Associated Types

type Code All :: [[Type]]

Methods

from :: All -> Rep All

to :: Rep All -> All

Generic Any

Associated Types

type Code Any :: [[Type]]

Methods

from :: Any -> Rep Any

to :: Rep Any -> Any

Generic Fixity

Associated Types

type Code Fixity :: [[Type]]

Methods

from :: Fixity -> Rep Fixity

to :: Rep Fixity -> Fixity

Generic Associativity

Associated Types

type Code Associativity :: [[Type]]

Methods

from :: Associativity -> Rep Associativity

to :: Rep Associativity -> Associativity

Generic SourceUnpackedness

Associated Types

type Code SourceUnpackedness :: [[Type]]

Methods

from :: SourceUnpackedness -> Rep SourceUnpackedness

to :: Rep SourceUnpackedness -> SourceUnpackedness

Generic SourceStrictness

Associated Types

type Code SourceStrictness :: [[Type]]

Methods

from :: SourceStrictness -> Rep SourceStrictness

to :: Rep SourceStrictness -> SourceStrictness

Generic DecidedStrictness

Associated Types

type Code DecidedStrictness :: [[Type]]

Methods

from :: DecidedStrictness -> Rep DecidedStrictness

to :: Rep DecidedStrictness -> DecidedStrictness

Generic CChar

Associated Types

type Code CChar :: [[Type]]

Methods

from :: CChar -> Rep CChar

to :: Rep CChar -> CChar

Generic CSChar

Associated Types

type Code CSChar :: [[Type]]

Methods

from :: CSChar -> Rep CSChar

to :: Rep CSChar -> CSChar

Generic CUChar

Associated Types

type Code CUChar :: [[Type]]

Methods

from :: CUChar -> Rep CUChar

to :: Rep CUChar -> CUChar

Generic CShort

Associated Types

type Code CShort :: [[Type]]

Methods

from :: CShort -> Rep CShort

to :: Rep CShort -> CShort

Generic CUShort

Associated Types

type Code CUShort :: [[Type]]

Methods

from :: CUShort -> Rep CUShort

to :: Rep CUShort -> CUShort

Generic CInt

Associated Types

type Code CInt :: [[Type]]

Methods

from :: CInt -> Rep CInt

to :: Rep CInt -> CInt

Generic CUInt

Associated Types

type Code CUInt :: [[Type]]

Methods

from :: CUInt -> Rep CUInt

to :: Rep CUInt -> CUInt

Generic CLong

Associated Types

type Code CLong :: [[Type]]

Methods

from :: CLong -> Rep CLong

to :: Rep CLong -> CLong

Generic CULong

Associated Types

type Code CULong :: [[Type]]

Methods

from :: CULong -> Rep CULong

to :: Rep CULong -> CULong

Generic CLLong

Associated Types

type Code CLLong :: [[Type]]

Methods

from :: CLLong -> Rep CLLong

to :: Rep CLLong -> CLLong

Generic CULLong

Associated Types

type Code CULLong :: [[Type]]

Methods

from :: CULLong -> Rep CULLong

to :: Rep CULLong -> CULLong

Generic CFloat

Associated Types

type Code CFloat :: [[Type]]

Methods

from :: CFloat -> Rep CFloat

to :: Rep CFloat -> CFloat

Generic CDouble

Associated Types

type Code CDouble :: [[Type]]

Methods

from :: CDouble -> Rep CDouble

to :: Rep CDouble -> CDouble

Generic CPtrdiff

Associated Types

type Code CPtrdiff :: [[Type]]

Methods

from :: CPtrdiff -> Rep CPtrdiff

to :: Rep CPtrdiff -> CPtrdiff

Generic CSize

Associated Types

type Code CSize :: [[Type]]

Methods

from :: CSize -> Rep CSize

to :: Rep CSize -> CSize

Generic CWchar

Associated Types

type Code CWchar :: [[Type]]

Methods

from :: CWchar -> Rep CWchar

to :: Rep CWchar -> CWchar

Generic CSigAtomic

Associated Types

type Code CSigAtomic :: [[Type]]

Methods

from :: CSigAtomic -> Rep CSigAtomic

to :: Rep CSigAtomic -> CSigAtomic

Generic CClock

Associated Types

type Code CClock :: [[Type]]

Methods

from :: CClock -> Rep CClock

to :: Rep CClock -> CClock

Generic CTime

Associated Types

type Code CTime :: [[Type]]

Methods

from :: CTime -> Rep CTime

to :: Rep CTime -> CTime

Generic CUSeconds

Associated Types

type Code CUSeconds :: [[Type]]

Methods

from :: CUSeconds -> Rep CUSeconds

to :: Rep CUSeconds -> CUSeconds

Generic CSUSeconds

Associated Types

type Code CSUSeconds :: [[Type]]

Methods

from :: CSUSeconds -> Rep CSUSeconds

to :: Rep CSUSeconds -> CSUSeconds

Generic CIntPtr

Associated Types

type Code CIntPtr :: [[Type]]

Methods

from :: CIntPtr -> Rep CIntPtr

to :: Rep CIntPtr -> CIntPtr

Generic CUIntPtr

Associated Types

type Code CUIntPtr :: [[Type]]

Methods

from :: CUIntPtr -> Rep CUIntPtr

to :: Rep CUIntPtr -> CUIntPtr

Generic CIntMax

Associated Types

type Code CIntMax :: [[Type]]

Methods

from :: CIntMax -> Rep CIntMax

to :: Rep CIntMax -> CIntMax

Generic CUIntMax

Associated Types

type Code CUIntMax :: [[Type]]

Methods

from :: CUIntMax -> Rep CUIntMax

to :: Rep CUIntMax -> CUIntMax

Generic IOMode

Associated Types

type Code IOMode :: [[Type]]

Methods

from :: IOMode -> Rep IOMode

to :: Rep IOMode -> IOMode

Generic Fingerprint

Associated Types

type Code Fingerprint :: [[Type]]

Methods

from :: Fingerprint -> Rep Fingerprint

to :: Rep Fingerprint -> Fingerprint

Generic Lexeme

Associated Types

type Code Lexeme :: [[Type]]

Methods

from :: Lexeme -> Rep Lexeme

to :: Rep Lexeme -> Lexeme

Generic Number

Associated Types

type Code Number :: [[Type]]

Methods

from :: Number -> Rep Number

to :: Rep Number -> Number

Generic GeneralCategory

Associated Types

type Code GeneralCategory :: [[Type]]

Methods

from :: GeneralCategory -> Rep GeneralCategory

to :: Rep GeneralCategory -> GeneralCategory

Generic SrcLoc

Associated Types

type Code SrcLoc :: [[Type]]

Methods

from :: SrcLoc -> Rep SrcLoc

to :: Rep SrcLoc -> SrcLoc

HasDatatypeInfo [a]

Associated Types

type DatatypeInfoOf [a] :: DatatypeInfo

Methods

datatypeInfo :: proxy [a] -> DatatypeInfo (Code [a])

HasDatatypeInfo (Maybe a)

Associated Types

type DatatypeInfoOf (Maybe a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Maybe a) -> DatatypeInfo (Code (Maybe a))

HasDatatypeInfo (Par1 p)

Associated Types

type DatatypeInfoOf (Par1 p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Par1 p) -> DatatypeInfo (Code (Par1 p))

HasDatatypeInfo (Complex a)

Associated Types

type DatatypeInfoOf (Complex a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Complex a) -> DatatypeInfo (Code (Complex a))

HasDatatypeInfo (Fixed a)

Associated Types

type DatatypeInfoOf (Fixed a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Fixed a) -> DatatypeInfo (Code (Fixed a))

HasDatatypeInfo (Min a)

Associated Types

type DatatypeInfoOf (Min a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Min a) -> DatatypeInfo (Code (Min a))

HasDatatypeInfo (Max a)

Associated Types

type DatatypeInfoOf (Max a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Max a) -> DatatypeInfo (Code (Max a))

HasDatatypeInfo (First a)

Associated Types

type DatatypeInfoOf (First a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (First a) -> DatatypeInfo (Code (First a))

HasDatatypeInfo (Last a)

Associated Types

type DatatypeInfoOf (Last a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Last a) -> DatatypeInfo (Code (Last a))

HasDatatypeInfo (WrappedMonoid m)

Associated Types

type DatatypeInfoOf (WrappedMonoid m) :: DatatypeInfo

Methods

datatypeInfo :: proxy (WrappedMonoid m) -> DatatypeInfo (Code (WrappedMonoid m))

HasDatatypeInfo (Option a)

Associated Types

type DatatypeInfoOf (Option a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Option a) -> DatatypeInfo (Code (Option a))

HasDatatypeInfo (ArgOrder a)

Associated Types

type DatatypeInfoOf (ArgOrder a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (ArgOrder a) -> DatatypeInfo (Code (ArgOrder a))

HasDatatypeInfo (OptDescr a)

Associated Types

type DatatypeInfoOf (OptDescr a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (OptDescr a) -> DatatypeInfo (Code (OptDescr a))

HasDatatypeInfo (ArgDescr a)

Associated Types

type DatatypeInfoOf (ArgDescr a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (ArgDescr a) -> DatatypeInfo (Code (ArgDescr a))

HasDatatypeInfo (Identity a)

Associated Types

type DatatypeInfoOf (Identity a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Identity a) -> DatatypeInfo (Code (Identity a))

HasDatatypeInfo (Buffer e)

Associated Types

type DatatypeInfoOf (Buffer e) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Buffer e) -> DatatypeInfo (Code (Buffer e))

HasDatatypeInfo (First a)

Associated Types

type DatatypeInfoOf (First a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (First a) -> DatatypeInfo (Code (First a))

HasDatatypeInfo (Last a)

Associated Types

type DatatypeInfoOf (Last a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Last a) -> DatatypeInfo (Code (Last a))

HasDatatypeInfo (Dual a)

Associated Types

type DatatypeInfoOf (Dual a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Dual a) -> DatatypeInfo (Code (Dual a))

HasDatatypeInfo (Endo a)

Associated Types

type DatatypeInfoOf (Endo a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Endo a) -> DatatypeInfo (Code (Endo a))

HasDatatypeInfo (Sum a)

Associated Types

type DatatypeInfoOf (Sum a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Sum a) -> DatatypeInfo (Code (Sum a))

HasDatatypeInfo (Product a)

Associated Types

type DatatypeInfoOf (Product a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Product a) -> DatatypeInfo (Code (Product a))

HasDatatypeInfo (Down a)

Associated Types

type DatatypeInfoOf (Down a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Down a) -> DatatypeInfo (Code (Down a))

HasDatatypeInfo (NonEmpty a)

Associated Types

type DatatypeInfoOf (NonEmpty a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (NonEmpty a) -> DatatypeInfo (Code (NonEmpty a))

HasDatatypeInfo (I a)

Associated Types

type DatatypeInfoOf (I a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (I a) -> DatatypeInfo (Code (I a))

Generic [a]

Associated Types

type Code [a] :: [[Type]]

Methods

from :: [a] -> Rep [a]

to :: Rep [a] -> [a]

Generic (Maybe a)

Associated Types

type Code (Maybe a) :: [[Type]]

Methods

from :: Maybe a -> Rep (Maybe a)

to :: Rep (Maybe a) -> Maybe a

Generic (Par1 p)

Associated Types

type Code (Par1 p) :: [[Type]]

Methods

from :: Par1 p -> Rep (Par1 p)

to :: Rep (Par1 p) -> Par1 p

Generic (Complex a)

Associated Types

type Code (Complex a) :: [[Type]]

Methods

from :: Complex a -> Rep (Complex a)

to :: Rep (Complex a) -> Complex a

Generic (Fixed a)

Associated Types

type Code (Fixed a) :: [[Type]]

Methods

from :: Fixed a -> Rep (Fixed a)

to :: Rep (Fixed a) -> Fixed a

Generic (Min a)

Associated Types

type Code (Min a) :: [[Type]]

Methods

from :: Min a -> Rep (Min a)

to :: Rep (Min a) -> Min a

Generic (Max a)

Associated Types

type Code (Max a) :: [[Type]]

Methods

from :: Max a -> Rep (Max a)

to :: Rep (Max a) -> Max a

Generic (First a)

Associated Types

type Code (First a) :: [[Type]]

Methods

from :: First a -> Rep (First a)

to :: Rep (First a) -> First a

Generic (Last a)

Associated Types

type Code (Last a) :: [[Type]]

Methods

from :: Last a -> Rep (Last a)

to :: Rep (Last a) -> Last a

Generic (WrappedMonoid m)

Associated Types

type Code (WrappedMonoid m) :: [[Type]]

Methods

from :: WrappedMonoid m -> Rep (WrappedMonoid m)

to :: Rep (WrappedMonoid m) -> WrappedMonoid m

Generic (Option a)

Associated Types

type Code (Option a) :: [[Type]]

Methods

from :: Option a -> Rep (Option a)

to :: Rep (Option a) -> Option a

Generic (ArgOrder a)

Associated Types

type Code (ArgOrder a) :: [[Type]]

Methods

from :: ArgOrder a -> Rep (ArgOrder a)

to :: Rep (ArgOrder a) -> ArgOrder a

Generic (OptDescr a)

Associated Types

type Code (OptDescr a) :: [[Type]]

Methods

from :: OptDescr a -> Rep (OptDescr a)

to :: Rep (OptDescr a) -> OptDescr a

Generic (ArgDescr a)

Associated Types

type Code (ArgDescr a) :: [[Type]]

Methods

from :: ArgDescr a -> Rep (ArgDescr a)

to :: Rep (ArgDescr a) -> ArgDescr a

Generic (Identity a)

Associated Types

type Code (Identity a) :: [[Type]]

Methods

from :: Identity a -> Rep (Identity a)

to :: Rep (Identity a) -> Identity a

Generic (Buffer e)

Associated Types

type Code (Buffer e) :: [[Type]]

Methods

from :: Buffer e -> Rep (Buffer e)

to :: Rep (Buffer e) -> Buffer e

Generic (First a)

Associated Types

type Code (First a) :: [[Type]]

Methods

from :: First a -> Rep (First a)

to :: Rep (First a) -> First a

Generic (Last a)

Associated Types

type Code (Last a) :: [[Type]]

Methods

from :: Last a -> Rep (Last a)

to :: Rep (Last a) -> Last a

Generic (Dual a)

Associated Types

type Code (Dual a) :: [[Type]]

Methods

from :: Dual a -> Rep (Dual a)

to :: Rep (Dual a) -> Dual a

Generic (Endo a)

Associated Types

type Code (Endo a) :: [[Type]]

Methods

from :: Endo a -> Rep (Endo a)

to :: Rep (Endo a) -> Endo a

Generic (Sum a)

Associated Types

type Code (Sum a) :: [[Type]]

Methods

from :: Sum a -> Rep (Sum a)

to :: Rep (Sum a) -> Sum a

Generic (Product a)

Associated Types

type Code (Product a) :: [[Type]]

Methods

from :: Product a -> Rep (Product a)

to :: Rep (Product a) -> Product a

Generic (Down a)

Associated Types

type Code (Down a) :: [[Type]]

Methods

from :: Down a -> Rep (Down a)

to :: Rep (Down a) -> Down a

Generic (NonEmpty a)

Associated Types

type Code (NonEmpty a) :: [[Type]]

Methods

from :: NonEmpty a -> Rep (NonEmpty a)

to :: Rep (NonEmpty a) -> NonEmpty a

Generic (I a)

Associated Types

type Code (I a) :: [[Type]]

Methods

from :: I a -> Rep (I a)

to :: Rep (I a) -> I a

HasDatatypeInfo (Either a b)

Associated Types

type DatatypeInfoOf (Either a b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Either a b) -> DatatypeInfo (Code (Either a b))

HasDatatypeInfo (V1 p)

Associated Types

type DatatypeInfoOf (V1 p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (V1 p) -> DatatypeInfo (Code (V1 p))

HasDatatypeInfo (U1 p)

Associated Types

type DatatypeInfoOf (U1 p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (U1 p) -> DatatypeInfo (Code (U1 p))

HasDatatypeInfo (a, b)

Associated Types

type DatatypeInfoOf (a, b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b) -> DatatypeInfo (Code (a, b))

HasDatatypeInfo (Arg a b)

Associated Types

type DatatypeInfoOf (Arg a b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Arg a b) -> DatatypeInfo (Code (Arg a b))

HasDatatypeInfo (Proxy t)

Associated Types

type DatatypeInfoOf (Proxy t) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Proxy t) -> DatatypeInfo (Code (Proxy t))

Generic (Either a b)

Associated Types

type Code (Either a b) :: [[Type]]

Methods

from :: Either a b -> Rep (Either a b)

to :: Rep (Either a b) -> Either a b

Generic (V1 p)

Associated Types

type Code (V1 p) :: [[Type]]

Methods

from :: V1 p -> Rep (V1 p)

to :: Rep (V1 p) -> V1 p

Generic (U1 p)

Associated Types

type Code (U1 p) :: [[Type]]

Methods

from :: U1 p -> Rep (U1 p)

to :: Rep (U1 p) -> U1 p

Generic (a, b)

Associated Types

type Code (a, b) :: [[Type]]

Methods

from :: (a, b) -> Rep (a, b)

to :: Rep (a, b) -> (a, b)

Generic (Arg a b)

Associated Types

type Code (Arg a b) :: [[Type]]

Methods

from :: Arg a b -> Rep (Arg a b)

to :: Rep (Arg a b) -> Arg a b

Generic (Proxy t)

Associated Types

type Code (Proxy t) :: [[Type]]

Methods

from :: Proxy t -> Rep (Proxy t)

to :: Rep (Proxy t) -> Proxy t

HasDatatypeInfo (a, b, c)

Associated Types

type DatatypeInfoOf (a, b, c) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c) -> DatatypeInfo (Code (a, b, c))

HasDatatypeInfo (BufferCodec from to state)

Associated Types

type DatatypeInfoOf (BufferCodec from to state) :: DatatypeInfo

Methods

datatypeInfo :: proxy (BufferCodec from to state) -> DatatypeInfo (Code (BufferCodec from to state))

HasDatatypeInfo (Const a b)

Associated Types

type DatatypeInfoOf (Const a b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Const a b) -> DatatypeInfo (Code (Const a b))

HasDatatypeInfo (Alt f a)

Associated Types

type DatatypeInfoOf (Alt f a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Alt f a) -> DatatypeInfo (Code (Alt f a))

HasDatatypeInfo (K a b)

Associated Types

type DatatypeInfoOf (K a b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (K a b) -> DatatypeInfo (Code (K a b))

Generic (a, b, c)

Associated Types

type Code (a, b, c) :: [[Type]]

Methods

from :: (a, b, c) -> Rep (a, b, c)

to :: Rep (a, b, c) -> (a, b, c)

Generic (BufferCodec from to state)

Associated Types

type Code (BufferCodec from to state) :: [[Type]]

Methods

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

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

Generic (Const a b)

Associated Types

type Code (Const a b) :: [[Type]]

Methods

from :: Const a b -> Rep (Const a b)

to :: Rep (Const a b) -> Const a b

Generic (Alt f a)

Associated Types

type Code (Alt f a) :: [[Type]]

Methods

from :: Alt f a -> Rep (Alt f a)

to :: Rep (Alt f a) -> Alt f a

Generic (K a b)

Associated Types

type Code (K a b) :: [[Type]]

Methods

from :: K a b -> Rep (K a b)

to :: Rep (K a b) -> K a b

HasDatatypeInfo (K1 i c p)

Associated Types

type DatatypeInfoOf (K1 i c p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (K1 i c p) -> DatatypeInfo (Code (K1 i c p))

HasDatatypeInfo ((f :+: g) p)

Associated Types

type DatatypeInfoOf ((f :+: g) p) :: DatatypeInfo

Methods

datatypeInfo :: proxy ((f :+: g) p) -> DatatypeInfo (Code ((f :+: g) p))

HasDatatypeInfo ((f :*: g) p)

Associated Types

type DatatypeInfoOf ((f :*: g) p) :: DatatypeInfo

Methods

datatypeInfo :: proxy ((f :*: g) p) -> DatatypeInfo (Code ((f :*: g) p))

HasDatatypeInfo (a, b, c, d)

Associated Types

type DatatypeInfoOf (a, b, c, d) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d) -> DatatypeInfo (Code (a, b, c, d))

HasDatatypeInfo (Product f g a)

Associated Types

type DatatypeInfoOf (Product f g a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Product f g a) -> DatatypeInfo (Code (Product f g a))

HasDatatypeInfo (Sum f g a)

Associated Types

type DatatypeInfoOf (Sum f g a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Sum f g a) -> DatatypeInfo (Code (Sum f g a))

HasDatatypeInfo ((f -.-> g) a)

Associated Types

type DatatypeInfoOf ((f -.-> g) a) :: DatatypeInfo

Methods

datatypeInfo :: proxy ((f -.-> g) a) -> DatatypeInfo (Code ((f -.-> g) a))

Generic (K1 i c p)

Associated Types

type Code (K1 i c p) :: [[Type]]

Methods

from :: K1 i c p -> Rep (K1 i c p)

to :: Rep (K1 i c p) -> K1 i c p

Generic ((f :+: g) p)

Associated Types

type Code ((f :+: g) p) :: [[Type]]

Methods

from :: (f :+: g) p -> Rep ((f :+: g) p)

to :: Rep ((f :+: g) p) -> (f :+: g) p

Generic ((f :*: g) p)

Associated Types

type Code ((f :*: g) p) :: [[Type]]

Methods

from :: (f :*: g) p -> Rep ((f :*: g) p)

to :: Rep ((f :*: g) p) -> (f :*: g) p

Generic (a, b, c, d)

Associated Types

type Code (a, b, c, d) :: [[Type]]

Methods

from :: (a, b, c, d) -> Rep (a, b, c, d)

to :: Rep (a, b, c, d) -> (a, b, c, d)

Generic (Product f g a)

Associated Types

type Code (Product f g a) :: [[Type]]

Methods

from :: Product f g a -> Rep (Product f g a)

to :: Rep (Product f g a) -> Product f g a

Generic (Sum f g a)

Associated Types

type Code (Sum f g a) :: [[Type]]

Methods

from :: Sum f g a -> Rep (Sum f g a)

to :: Rep (Sum f g a) -> Sum f g a

Generic ((f -.-> g) a)

Associated Types

type Code ((f -.-> g) a) :: [[Type]]

Methods

from :: (f -.-> g) a -> Rep ((f -.-> g) a)

to :: Rep ((f -.-> g) a) -> (f -.-> g) a

HasDatatypeInfo (M1 i c f p)

Associated Types

type DatatypeInfoOf (M1 i c f p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (M1 i c f p) -> DatatypeInfo (Code (M1 i c f p))

HasDatatypeInfo ((f :.: g) p)

Associated Types

type DatatypeInfoOf ((f :.: g) p) :: DatatypeInfo

Methods

datatypeInfo :: proxy ((f :.: g) p) -> DatatypeInfo (Code ((f :.: g) p))

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

Associated Types

type DatatypeInfoOf (a, b, c, d, e) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e) -> DatatypeInfo (Code (a, b, c, d, e))

HasDatatypeInfo (Compose f g a)

Associated Types

type DatatypeInfoOf (Compose f g a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Compose f g a) -> DatatypeInfo (Code (Compose f g a))

HasDatatypeInfo ((f :.: g) p)

Associated Types

type DatatypeInfoOf ((f :.: g) p) :: DatatypeInfo

Methods

datatypeInfo :: proxy ((f :.: g) p) -> DatatypeInfo (Code ((f :.: g) p))

Generic (M1 i c f p)

Associated Types

type Code (M1 i c f p) :: [[Type]]

Methods

from :: M1 i c f p -> Rep (M1 i c f p)

to :: Rep (M1 i c f p) -> M1 i c f p

Generic ((f :.: g) p)

Associated Types

type Code ((f :.: g) p) :: [[Type]]

Methods

from :: (f :.: g) p -> Rep ((f :.: g) p)

to :: Rep ((f :.: g) p) -> (f :.: g) p

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

Associated Types

type Code (a, b, c, d, e) :: [[Type]]

Methods

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

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

Generic (Compose f g a)

Associated Types

type Code (Compose f g a) :: [[Type]]

Methods

from :: Compose f g a -> Rep (Compose f g a)

to :: Rep (Compose f g a) -> Compose f g a

Generic ((f :.: g) p)

Associated Types

type Code ((f :.: g) p) :: [[Type]]

Methods

from :: (f :.: g) p -> Rep ((f :.: g) p)

to :: Rep ((f :.: g) p) -> (f :.: g) p

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

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f) -> DatatypeInfo (Code (a, b, c, d, e, f))

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

Associated Types

type Code (a, b, c, d, e, f) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g) -> DatatypeInfo (Code (a, b, c, d, e, f, g))

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

Associated Types

type Code (a, b, c, d, e, f, g) :: [[Type]]

Methods

from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g)

to :: Rep (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g)

HasDatatypeInfo (a, b, c, d, e, f, g, h)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h))

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

Associated Types

type Code (a, b, c, d, e, f, g, h) :: [[Type]]

Methods

from :: (a, b, c, d, e, f, g, h) -> Rep (a, b, c, d, e, f, g, h)

to :: Rep (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h)

HasDatatypeInfo (a, b, c, d, e, f, g, h, i)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i))

Generic (a, b, c, d, e, f, g, h, i)

Associated Types

type Code (a, b, c, d, e, f, g, h, i) :: [[Type]]

Methods

from :: (a, b, c, d, e, f, g, h, i) -> Rep (a, b, c, d, e, f, g, h, i)

to :: Rep (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i)

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j))

Generic (a, b, c, d, e, f, g, h, i, j)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k))

Generic (a, b, c, d, e, f, g, h, i, j, k)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l))

Generic (a, b, c, d, e, f, g, h, i, j, k, l)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l, m) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l, m))

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n))

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p))

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) :: DatatypeInfo

Methods

datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q))

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) :: [[Type]]

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)

Associated Types

type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) :: DatatypeInfo

Methods

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

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)

Associated Types

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

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)

Associated Types

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

Methods

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

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)

Associated Types

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

Methods

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

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

HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)

Associated Types

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

Methods

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

Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

type Code (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]]

Methods

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

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

HasDatatypeInfo (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)

Associated Types

type DatatypeInfoOf (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) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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) -> DatatypeInfo (Code (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))

Generic (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)

Associated Types

type Code (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]]

Methods

from :: (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) -> Rep (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)

to :: Rep (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) -> (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)

HasDatatypeInfo (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)

Associated Types

type DatatypeInfoOf (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) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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) -> DatatypeInfo (Code (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))

Generic (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)

Associated Types

type Code (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]]

Methods

from :: (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) -> Rep (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)

to :: Rep (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) -> (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)

HasDatatypeInfo (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)

Associated Types

type DatatypeInfoOf (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) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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) -> DatatypeInfo (Code (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))

Generic (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)

Associated Types

type Code (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]]

Methods

from :: (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) -> Rep (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)

to :: Rep (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) -> (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)

HasDatatypeInfo (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)

Associated Types

type DatatypeInfoOf (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) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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) -> DatatypeInfo (Code (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))

Generic (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)

Associated Types

type Code (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]]

Methods

from :: (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) -> Rep (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)

to :: Rep (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) -> (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)

HasDatatypeInfo (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)

Associated Types

type DatatypeInfoOf (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) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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) -> DatatypeInfo (Code (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))

Generic (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)

Associated Types

type Code (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]]

Methods

from :: (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) -> Rep (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)

to :: Rep (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) -> (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)

HasDatatypeInfo (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, t29)

Associated Types

type DatatypeInfoOf (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, t29) :: DatatypeInfo

Methods

datatypeInfo :: proxy (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, t29) -> DatatypeInfo (Code (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, t29))

Generic (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, t29)

Associated Types

type Code (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, t29) :: [[Type]]

Methods

from :: (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, t29) -> Rep (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, t29)

to :: Rep (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, t29) -> (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, t29)