Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 Source # | |
type DatatypeInfoOf Bool :: DatatypeInfo Source # datatypeInfo :: proxy Bool -> DatatypeInfo (Code Bool) Source # | |
HasDatatypeInfo Ordering Source # | |
type DatatypeInfoOf Ordering :: DatatypeInfo Source # datatypeInfo :: proxy Ordering -> DatatypeInfo (Code Ordering) Source # | |
HasDatatypeInfo () Source # | |
type DatatypeInfoOf () :: DatatypeInfo Source # datatypeInfo :: proxy () -> DatatypeInfo (Code ()) Source # | |
HasDatatypeInfo DataRep Source # | |
type DatatypeInfoOf DataRep :: DatatypeInfo Source # datatypeInfo :: proxy DataRep -> DatatypeInfo (Code DataRep) Source # | |
HasDatatypeInfo ConstrRep Source # | |
type DatatypeInfoOf ConstrRep :: DatatypeInfo Source # datatypeInfo :: proxy ConstrRep -> DatatypeInfo (Code ConstrRep) Source # | |
HasDatatypeInfo Fixity Source # | |
type DatatypeInfoOf Fixity :: DatatypeInfo Source # datatypeInfo :: proxy Fixity -> DatatypeInfo (Code Fixity) Source # | |
HasDatatypeInfo FormatAdjustment Source # | |
datatypeInfo :: proxy FormatAdjustment -> DatatypeInfo (Code FormatAdjustment) Source # | |
HasDatatypeInfo FormatSign Source # | |
type DatatypeInfoOf FormatSign :: DatatypeInfo Source # datatypeInfo :: proxy FormatSign -> DatatypeInfo (Code FormatSign) Source # | |
HasDatatypeInfo FieldFormat Source # | |
type DatatypeInfoOf FieldFormat :: DatatypeInfo Source # datatypeInfo :: proxy FieldFormat -> DatatypeInfo (Code FieldFormat) Source # | |
HasDatatypeInfo FormatParse Source # | |
type DatatypeInfoOf FormatParse :: DatatypeInfo Source # datatypeInfo :: proxy FormatParse -> DatatypeInfo (Code FormatParse) Source # | |
HasDatatypeInfo Version Source # | |
type DatatypeInfoOf Version :: DatatypeInfo Source # datatypeInfo :: proxy Version -> DatatypeInfo (Code Version) Source # | |
HasDatatypeInfo PatternMatchFail Source # | |
datatypeInfo :: proxy PatternMatchFail -> DatatypeInfo (Code PatternMatchFail) Source # | |
HasDatatypeInfo RecSelError Source # | |
type DatatypeInfoOf RecSelError :: DatatypeInfo Source # datatypeInfo :: proxy RecSelError -> DatatypeInfo (Code RecSelError) Source # | |
HasDatatypeInfo RecConError Source # | |
type DatatypeInfoOf RecConError :: DatatypeInfo Source # datatypeInfo :: proxy RecConError -> DatatypeInfo (Code RecConError) Source # | |
HasDatatypeInfo RecUpdError Source # | |
type DatatypeInfoOf RecUpdError :: DatatypeInfo Source # datatypeInfo :: proxy RecUpdError -> DatatypeInfo (Code RecUpdError) Source # | |
HasDatatypeInfo NoMethodError Source # | |
type DatatypeInfoOf NoMethodError :: DatatypeInfo Source # datatypeInfo :: proxy NoMethodError -> DatatypeInfo (Code NoMethodError) Source # | |
HasDatatypeInfo NonTermination Source # | |
type DatatypeInfoOf NonTermination :: DatatypeInfo Source # datatypeInfo :: proxy NonTermination -> DatatypeInfo (Code NonTermination) Source # | |
HasDatatypeInfo NestedAtomically Source # | |
datatypeInfo :: proxy NestedAtomically -> DatatypeInfo (Code NestedAtomically) Source # | |
HasDatatypeInfo Errno Source # | |
type DatatypeInfoOf Errno :: DatatypeInfo Source # datatypeInfo :: proxy Errno -> DatatypeInfo (Code Errno) Source # | |
HasDatatypeInfo BlockedIndefinitelyOnMVar Source # | |
HasDatatypeInfo BlockedIndefinitelyOnSTM Source # | |
HasDatatypeInfo Deadlock Source # | |
type DatatypeInfoOf Deadlock :: DatatypeInfo Source # datatypeInfo :: proxy Deadlock -> DatatypeInfo (Code Deadlock) Source # | |
HasDatatypeInfo AssertionFailed Source # | |
type DatatypeInfoOf AssertionFailed :: DatatypeInfo Source # datatypeInfo :: proxy AssertionFailed -> DatatypeInfo (Code AssertionFailed) Source # | |
HasDatatypeInfo AsyncException Source # | |
type DatatypeInfoOf AsyncException :: DatatypeInfo Source # datatypeInfo :: proxy AsyncException -> DatatypeInfo (Code AsyncException) Source # | |
HasDatatypeInfo ArrayException Source # | |
type DatatypeInfoOf ArrayException :: DatatypeInfo Source # datatypeInfo :: proxy ArrayException -> DatatypeInfo (Code ArrayException) Source # | |
HasDatatypeInfo ExitCode Source # | |
type DatatypeInfoOf ExitCode :: DatatypeInfo Source # datatypeInfo :: proxy ExitCode -> DatatypeInfo (Code ExitCode) Source # | |
HasDatatypeInfo BufferMode Source # | |
type DatatypeInfoOf BufferMode :: DatatypeInfo Source # datatypeInfo :: proxy BufferMode -> DatatypeInfo (Code BufferMode) Source # | |
HasDatatypeInfo Newline Source # | |
type DatatypeInfoOf Newline :: DatatypeInfo Source # datatypeInfo :: proxy Newline -> DatatypeInfo (Code Newline) Source # | |
HasDatatypeInfo NewlineMode Source # | |
type DatatypeInfoOf NewlineMode :: DatatypeInfo Source # datatypeInfo :: proxy NewlineMode -> DatatypeInfo (Code NewlineMode) Source # | |
HasDatatypeInfo SeekMode Source # | |
type DatatypeInfoOf SeekMode :: DatatypeInfo Source # datatypeInfo :: proxy SeekMode -> DatatypeInfo (Code SeekMode) Source # | |
HasDatatypeInfo MaskingState Source # | |
type DatatypeInfoOf MaskingState :: DatatypeInfo Source # datatypeInfo :: proxy MaskingState -> DatatypeInfo (Code MaskingState) Source # | |
HasDatatypeInfo IOException Source # | |
type DatatypeInfoOf IOException :: DatatypeInfo Source # datatypeInfo :: proxy IOException -> DatatypeInfo (Code IOException) Source # | |
HasDatatypeInfo ErrorCall Source # | |
type DatatypeInfoOf ErrorCall :: DatatypeInfo Source # datatypeInfo :: proxy ErrorCall -> DatatypeInfo (Code ErrorCall) Source # | |
HasDatatypeInfo ArithException Source # | |
type DatatypeInfoOf ArithException :: DatatypeInfo Source # datatypeInfo :: proxy ArithException -> DatatypeInfo (Code ArithException) Source # | |
HasDatatypeInfo All Source # | |
type DatatypeInfoOf All :: DatatypeInfo Source # datatypeInfo :: proxy All -> DatatypeInfo (Code All) Source # | |
HasDatatypeInfo Any Source # | |
type DatatypeInfoOf Any :: DatatypeInfo Source # datatypeInfo :: proxy Any -> DatatypeInfo (Code Any) Source # | |
HasDatatypeInfo CChar Source # | |
type DatatypeInfoOf CChar :: DatatypeInfo Source # datatypeInfo :: proxy CChar -> DatatypeInfo (Code CChar) Source # | |
HasDatatypeInfo CSChar Source # | |
type DatatypeInfoOf CSChar :: DatatypeInfo Source # datatypeInfo :: proxy CSChar -> DatatypeInfo (Code CSChar) Source # | |
HasDatatypeInfo CUChar Source # | |
type DatatypeInfoOf CUChar :: DatatypeInfo Source # datatypeInfo :: proxy CUChar -> DatatypeInfo (Code CUChar) Source # | |
HasDatatypeInfo CShort Source # | |
type DatatypeInfoOf CShort :: DatatypeInfo Source # datatypeInfo :: proxy CShort -> DatatypeInfo (Code CShort) Source # | |
HasDatatypeInfo CUShort Source # | |
type DatatypeInfoOf CUShort :: DatatypeInfo Source # datatypeInfo :: proxy CUShort -> DatatypeInfo (Code CUShort) Source # | |
HasDatatypeInfo CInt Source # | |
type DatatypeInfoOf CInt :: DatatypeInfo Source # datatypeInfo :: proxy CInt -> DatatypeInfo (Code CInt) Source # | |
HasDatatypeInfo CUInt Source # | |
type DatatypeInfoOf CUInt :: DatatypeInfo Source # datatypeInfo :: proxy CUInt -> DatatypeInfo (Code CUInt) Source # | |
HasDatatypeInfo CLong Source # | |
type DatatypeInfoOf CLong :: DatatypeInfo Source # datatypeInfo :: proxy CLong -> DatatypeInfo (Code CLong) Source # | |
HasDatatypeInfo CULong Source # | |
type DatatypeInfoOf CULong :: DatatypeInfo Source # datatypeInfo :: proxy CULong -> DatatypeInfo (Code CULong) Source # | |
HasDatatypeInfo CLLong Source # | |
type DatatypeInfoOf CLLong :: DatatypeInfo Source # datatypeInfo :: proxy CLLong -> DatatypeInfo (Code CLLong) Source # | |
HasDatatypeInfo CULLong Source # | |
type DatatypeInfoOf CULLong :: DatatypeInfo Source # datatypeInfo :: proxy CULLong -> DatatypeInfo (Code CULLong) Source # | |
HasDatatypeInfo CFloat Source # | |
type DatatypeInfoOf CFloat :: DatatypeInfo Source # datatypeInfo :: proxy CFloat -> DatatypeInfo (Code CFloat) Source # | |
HasDatatypeInfo CDouble Source # | |
type DatatypeInfoOf CDouble :: DatatypeInfo Source # datatypeInfo :: proxy CDouble -> DatatypeInfo (Code CDouble) Source # | |
HasDatatypeInfo CPtrdiff Source # | |
type DatatypeInfoOf CPtrdiff :: DatatypeInfo Source # datatypeInfo :: proxy CPtrdiff -> DatatypeInfo (Code CPtrdiff) Source # | |
HasDatatypeInfo CSize Source # | |
type DatatypeInfoOf CSize :: DatatypeInfo Source # datatypeInfo :: proxy CSize -> DatatypeInfo (Code CSize) Source # | |
HasDatatypeInfo CWchar Source # | |
type DatatypeInfoOf CWchar :: DatatypeInfo Source # datatypeInfo :: proxy CWchar -> DatatypeInfo (Code CWchar) Source # | |
HasDatatypeInfo CSigAtomic Source # | |
type DatatypeInfoOf CSigAtomic :: DatatypeInfo Source # datatypeInfo :: proxy CSigAtomic -> DatatypeInfo (Code CSigAtomic) Source # | |
HasDatatypeInfo CClock Source # | |
type DatatypeInfoOf CClock :: DatatypeInfo Source # datatypeInfo :: proxy CClock -> DatatypeInfo (Code CClock) Source # | |
HasDatatypeInfo CTime Source # | |
type DatatypeInfoOf CTime :: DatatypeInfo Source # datatypeInfo :: proxy CTime -> DatatypeInfo (Code CTime) Source # | |
HasDatatypeInfo CUSeconds Source # | |
type DatatypeInfoOf CUSeconds :: DatatypeInfo Source # datatypeInfo :: proxy CUSeconds -> DatatypeInfo (Code CUSeconds) Source # | |
HasDatatypeInfo CSUSeconds Source # | |
type DatatypeInfoOf CSUSeconds :: DatatypeInfo Source # datatypeInfo :: proxy CSUSeconds -> DatatypeInfo (Code CSUSeconds) Source # | |
HasDatatypeInfo CIntPtr Source # | |
type DatatypeInfoOf CIntPtr :: DatatypeInfo Source # datatypeInfo :: proxy CIntPtr -> DatatypeInfo (Code CIntPtr) Source # | |
HasDatatypeInfo CUIntPtr Source # | |
type DatatypeInfoOf CUIntPtr :: DatatypeInfo Source # datatypeInfo :: proxy CUIntPtr -> DatatypeInfo (Code CUIntPtr) Source # | |
HasDatatypeInfo CIntMax Source # | |
type DatatypeInfoOf CIntMax :: DatatypeInfo Source # datatypeInfo :: proxy CIntMax -> DatatypeInfo (Code CIntMax) Source # | |
HasDatatypeInfo CUIntMax Source # | |
type DatatypeInfoOf CUIntMax :: DatatypeInfo Source # datatypeInfo :: proxy CUIntMax -> DatatypeInfo (Code CUIntMax) Source # | |
HasDatatypeInfo IOMode Source # | |
type DatatypeInfoOf IOMode :: DatatypeInfo Source # datatypeInfo :: proxy IOMode -> DatatypeInfo (Code IOMode) Source # | |
HasDatatypeInfo Lexeme Source # | |
type DatatypeInfoOf Lexeme :: DatatypeInfo Source # datatypeInfo :: proxy Lexeme -> DatatypeInfo (Code Lexeme) Source # | |
HasDatatypeInfo Number Source # | |
type DatatypeInfoOf Number :: DatatypeInfo Source # datatypeInfo :: proxy Number -> DatatypeInfo (Code Number) Source # | |
HasDatatypeInfo GeneralCategory Source # | |
type DatatypeInfoOf GeneralCategory :: DatatypeInfo Source # datatypeInfo :: proxy GeneralCategory -> DatatypeInfo (Code GeneralCategory) Source # | |
Generic Bool Source # | |
Generic Ordering Source # | |
Generic () Source # | |
Generic DataRep Source # | |
Generic ConstrRep Source # | |
Generic Fixity Source # | |
Generic FormatAdjustment Source # | |
type Code FormatAdjustment :: [[*]] Source # | |
Generic FormatSign Source # | |
type Code FormatSign :: [[*]] Source # from :: FormatSign -> Rep FormatSign Source # to :: Rep FormatSign -> FormatSign Source # | |
Generic FieldFormat Source # | |
type Code FieldFormat :: [[*]] Source # from :: FieldFormat -> Rep FieldFormat Source # to :: Rep FieldFormat -> FieldFormat Source # | |
Generic FormatParse Source # | |
type Code FormatParse :: [[*]] Source # from :: FormatParse -> Rep FormatParse Source # to :: Rep FormatParse -> FormatParse Source # | |
Generic Version Source # | |
Generic PatternMatchFail Source # | |
type Code PatternMatchFail :: [[*]] Source # | |
Generic RecSelError Source # | |
type Code RecSelError :: [[*]] Source # from :: RecSelError -> Rep RecSelError Source # to :: Rep RecSelError -> RecSelError Source # | |
Generic RecConError Source # | |
type Code RecConError :: [[*]] Source # from :: RecConError -> Rep RecConError Source # to :: Rep RecConError -> RecConError Source # | |
Generic RecUpdError Source # | |
type Code RecUpdError :: [[*]] Source # from :: RecUpdError -> Rep RecUpdError Source # to :: Rep RecUpdError -> RecUpdError Source # | |
Generic NoMethodError Source # | |
type Code NoMethodError :: [[*]] Source # from :: NoMethodError -> Rep NoMethodError Source # to :: Rep NoMethodError -> NoMethodError Source # | |
Generic NonTermination Source # | |
type Code NonTermination :: [[*]] Source # from :: NonTermination -> Rep NonTermination Source # to :: Rep NonTermination -> NonTermination Source # | |
Generic NestedAtomically Source # | |
type Code NestedAtomically :: [[*]] Source # | |
Generic Errno Source # | |
Generic BlockedIndefinitelyOnMVar Source # | |
Generic BlockedIndefinitelyOnSTM Source # | |
Generic Deadlock Source # | |
Generic AssertionFailed Source # | |
type Code AssertionFailed :: [[*]] Source # from :: AssertionFailed -> Rep AssertionFailed Source # to :: Rep AssertionFailed -> AssertionFailed Source # | |
Generic AsyncException Source # | |
type Code AsyncException :: [[*]] Source # from :: AsyncException -> Rep AsyncException Source # to :: Rep AsyncException -> AsyncException Source # | |
Generic ArrayException Source # | |
type Code ArrayException :: [[*]] Source # from :: ArrayException -> Rep ArrayException Source # to :: Rep ArrayException -> ArrayException Source # | |
Generic ExitCode Source # | |
Generic BufferMode Source # | |
type Code BufferMode :: [[*]] Source # from :: BufferMode -> Rep BufferMode Source # to :: Rep BufferMode -> BufferMode Source # | |
Generic Newline Source # | |
Generic NewlineMode Source # | |
type Code NewlineMode :: [[*]] Source # from :: NewlineMode -> Rep NewlineMode Source # to :: Rep NewlineMode -> NewlineMode Source # | |
Generic SeekMode Source # | |
Generic MaskingState Source # | |
type Code MaskingState :: [[*]] Source # from :: MaskingState -> Rep MaskingState Source # to :: Rep MaskingState -> MaskingState Source # | |
Generic IOException Source # | |
type Code IOException :: [[*]] Source # from :: IOException -> Rep IOException Source # to :: Rep IOException -> IOException Source # | |
Generic ErrorCall Source # | |
Generic ArithException Source # | |
type Code ArithException :: [[*]] Source # from :: ArithException -> Rep ArithException Source # to :: Rep ArithException -> ArithException Source # | |
Generic All Source # | |
Generic Any Source # | |
Generic CChar Source # | |
Generic CSChar Source # | |
Generic CUChar Source # | |
Generic CShort Source # | |
Generic CUShort Source # | |
Generic CInt Source # | |
Generic CUInt Source # | |
Generic CLong Source # | |
Generic CULong Source # | |
Generic CLLong Source # | |
Generic CULLong Source # | |
Generic CFloat Source # | |
Generic CDouble Source # | |
Generic CPtrdiff Source # | |
Generic CSize Source # | |
Generic CWchar Source # | |
Generic CSigAtomic Source # | |
type Code CSigAtomic :: [[*]] Source # from :: CSigAtomic -> Rep CSigAtomic Source # to :: Rep CSigAtomic -> CSigAtomic Source # | |
Generic CClock Source # | |
Generic CTime Source # | |
Generic CUSeconds Source # | |
Generic CSUSeconds Source # | |
type Code CSUSeconds :: [[*]] Source # from :: CSUSeconds -> Rep CSUSeconds Source # to :: Rep CSUSeconds -> CSUSeconds Source # | |
Generic CIntPtr Source # | |
Generic CUIntPtr Source # | |
Generic CIntMax Source # | |
Generic CUIntMax Source # | |
Generic IOMode Source # | |
Generic Lexeme Source # | |
Generic Number Source # | |
Generic GeneralCategory Source # | |
type Code GeneralCategory :: [[*]] Source # from :: GeneralCategory -> Rep GeneralCategory Source # to :: Rep GeneralCategory -> GeneralCategory Source # | |
HasDatatypeInfo [a] Source # | |
type DatatypeInfoOf [a] :: DatatypeInfo Source # datatypeInfo :: proxy [a] -> DatatypeInfo (Code [a]) Source # | |
HasDatatypeInfo (Maybe a) Source # | |
type DatatypeInfoOf (Maybe a) :: DatatypeInfo Source # datatypeInfo :: proxy (Maybe a) -> DatatypeInfo (Code (Maybe a)) Source # | |
HasDatatypeInfo (Complex a) Source # | |
type DatatypeInfoOf (Complex a) :: DatatypeInfo Source # datatypeInfo :: proxy (Complex a) -> DatatypeInfo (Code (Complex a)) Source # | |
HasDatatypeInfo (Fixed a) Source # | |
type DatatypeInfoOf (Fixed a) :: DatatypeInfo Source # datatypeInfo :: proxy (Fixed a) -> DatatypeInfo (Code (Fixed a)) Source # | |
HasDatatypeInfo (ArgOrder a) Source # | |
type DatatypeInfoOf (ArgOrder a) :: DatatypeInfo Source # datatypeInfo :: proxy (ArgOrder a) -> DatatypeInfo (Code (ArgOrder a)) Source # | |
HasDatatypeInfo (OptDescr a) Source # | |
type DatatypeInfoOf (OptDescr a) :: DatatypeInfo Source # datatypeInfo :: proxy (OptDescr a) -> DatatypeInfo (Code (OptDescr a)) Source # | |
HasDatatypeInfo (ArgDescr a) Source # | |
type DatatypeInfoOf (ArgDescr a) :: DatatypeInfo Source # datatypeInfo :: proxy (ArgDescr a) -> DatatypeInfo (Code (ArgDescr a)) Source # | |
HasDatatypeInfo (First a) Source # | |
type DatatypeInfoOf (First a) :: DatatypeInfo Source # datatypeInfo :: proxy (First a) -> DatatypeInfo (Code (First a)) Source # | |
HasDatatypeInfo (Last a) Source # | |
type DatatypeInfoOf (Last a) :: DatatypeInfo Source # datatypeInfo :: proxy (Last a) -> DatatypeInfo (Code (Last a)) Source # | |
HasDatatypeInfo (Dual a) Source # | |
type DatatypeInfoOf (Dual a) :: DatatypeInfo Source # datatypeInfo :: proxy (Dual a) -> DatatypeInfo (Code (Dual a)) Source # | |
HasDatatypeInfo (Endo a) Source # | |
type DatatypeInfoOf (Endo a) :: DatatypeInfo Source # datatypeInfo :: proxy (Endo a) -> DatatypeInfo (Code (Endo a)) Source # | |
HasDatatypeInfo (Sum a) Source # | |
type DatatypeInfoOf (Sum a) :: DatatypeInfo Source # datatypeInfo :: proxy (Sum a) -> DatatypeInfo (Code (Sum a)) Source # | |
HasDatatypeInfo (Product a) Source # | |
type DatatypeInfoOf (Product a) :: DatatypeInfo Source # datatypeInfo :: proxy (Product a) -> DatatypeInfo (Code (Product a)) Source # | |
HasDatatypeInfo (Down a) Source # | |
type DatatypeInfoOf (Down a) :: DatatypeInfo Source # datatypeInfo :: proxy (Down a) -> DatatypeInfo (Code (Down a)) Source # | |
HasDatatypeInfo (I a) Source # | |
type DatatypeInfoOf (I a) :: DatatypeInfo Source # datatypeInfo :: proxy (I a) -> DatatypeInfo (Code (I a)) Source # | |
Generic [a] Source # | |
Generic (Maybe a) Source # | |
Generic (Complex a) Source # | |
Generic (Fixed a) Source # | |
Generic (ArgOrder a) Source # | |
Generic (OptDescr a) Source # | |
Generic (ArgDescr a) Source # | |
Generic (First a) Source # | |
Generic (Last a) Source # | |
Generic (Dual a) Source # | |
Generic (Endo a) Source # | |
Generic (Sum a) Source # | |
Generic (Product a) Source # | |
Generic (Down a) Source # | |
Generic (I a) Source # | |
HasDatatypeInfo (Either a b) Source # | |
type DatatypeInfoOf (Either a b) :: DatatypeInfo Source # datatypeInfo :: proxy (Either a b) -> DatatypeInfo (Code (Either a b)) Source # | |
HasDatatypeInfo (a, b) Source # | |
type DatatypeInfoOf (a, b) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b) -> DatatypeInfo (Code (a, b)) Source # | |
HasDatatypeInfo (Proxy t) Source # | |
type DatatypeInfoOf (Proxy t) :: DatatypeInfo Source # datatypeInfo :: proxy (Proxy t) -> DatatypeInfo (Code (Proxy t)) Source # | |
Generic (Either a b) Source # | |
Generic (a, b) Source # | |
Generic (Proxy t) Source # | |
HasDatatypeInfo (a, b, c) Source # | |
type DatatypeInfoOf (a, b, c) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c) -> DatatypeInfo (Code (a, b, c)) Source # | |
HasDatatypeInfo (K a b) Source # | |
type DatatypeInfoOf (K a b) :: DatatypeInfo Source # datatypeInfo :: proxy (K a b) -> DatatypeInfo (Code (K a b)) Source # | |
Generic (a, b, c) Source # | |
Generic (K a b) Source # | |
HasDatatypeInfo (a, b, c, d) Source # | |
type DatatypeInfoOf (a, b, c, d) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d) -> DatatypeInfo (Code (a, b, c, d)) Source # | |
Generic (a, b, c, d) Source # | |
HasDatatypeInfo (a, b, c, d, e) Source # | |
type DatatypeInfoOf (a, b, c, d, e) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e) -> DatatypeInfo (Code (a, b, c, d, e)) Source # | |
HasDatatypeInfo ((f :.: g) p) Source # | |
type DatatypeInfoOf ((f :.: g) p) :: DatatypeInfo Source # datatypeInfo :: proxy ((f :.: g) p) -> DatatypeInfo (Code ((f :.: g) p)) Source # | |
Generic (a, b, c, d, e) Source # | |
Generic ((f :.: g) p) Source # | |
HasDatatypeInfo (a, b, c, d, e, f) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e, f) -> DatatypeInfo (Code (a, b, c, d, e, f)) Source # | |
Generic (a, b, c, d, e, f) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e, f, g) -> DatatypeInfo (Code (a, b, c, d, e, f, g)) Source # | |
Generic (a, b, c, d, e, f, g) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e, f, g, h) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h)) Source # | |
Generic (a, b, c, d, e, f, g, h) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i)) Source # | |
Generic (a, b, c, d, e, f, g, h, i) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j) :: DatatypeInfo Source # datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i, j) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i, j)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # | |
type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) :: DatatypeInfo Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # | |
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) Source # 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) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # | |
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 Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # | |
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) Source # 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) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # | |
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 Source # 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)) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # | |
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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # | |
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) Source # | |
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 Source # 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)) Source # | |
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) Source # | |
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) :: [[*]] Source # 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) Source # 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) Source # |