generics-sop-0.3.1.0: Generic Programming using True Sums of Products

Safe HaskellNone
LanguageHaskell2010

Generics.SOP.Instances

Contents

Description

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 # 

Associated Types

type DatatypeInfoOf Bool :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo Ordering Source # 
HasDatatypeInfo () Source # 

Associated Types

type DatatypeInfoOf () :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo FormatAdjustment Source # 
HasDatatypeInfo FormatSign Source # 
HasDatatypeInfo FieldFormat Source # 
HasDatatypeInfo FormatParse Source # 
HasDatatypeInfo DataRep Source # 
HasDatatypeInfo ConstrRep Source # 
HasDatatypeInfo Fixity Source # 
HasDatatypeInfo Version Source # 
HasDatatypeInfo PatternMatchFail Source # 
HasDatatypeInfo RecSelError Source # 
HasDatatypeInfo RecConError Source # 
HasDatatypeInfo RecUpdError Source # 
HasDatatypeInfo NoMethodError Source # 
HasDatatypeInfo NonTermination Source # 
HasDatatypeInfo NestedAtomically Source # 
HasDatatypeInfo Errno Source # 

Associated Types

type DatatypeInfoOf Errno :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo BlockedIndefinitelyOnMVar Source # 
HasDatatypeInfo BlockedIndefinitelyOnSTM Source # 
HasDatatypeInfo Deadlock Source # 
HasDatatypeInfo AssertionFailed Source # 
HasDatatypeInfo AsyncException Source # 
HasDatatypeInfo ArrayException Source # 
HasDatatypeInfo ExitCode Source # 
HasDatatypeInfo BufferMode Source # 
HasDatatypeInfo Newline Source # 
HasDatatypeInfo NewlineMode Source # 
HasDatatypeInfo CChar Source # 

Associated Types

type DatatypeInfoOf CChar :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CSChar Source # 
HasDatatypeInfo CUChar Source # 
HasDatatypeInfo CShort Source # 
HasDatatypeInfo CUShort Source # 
HasDatatypeInfo CInt Source # 

Associated Types

type DatatypeInfoOf CInt :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CUInt Source # 

Associated Types

type DatatypeInfoOf CUInt :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CLong Source # 

Associated Types

type DatatypeInfoOf CLong :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CULong Source # 
HasDatatypeInfo CLLong Source # 
HasDatatypeInfo CULLong Source # 
HasDatatypeInfo CFloat Source # 
HasDatatypeInfo CDouble Source # 
HasDatatypeInfo CPtrdiff Source # 
HasDatatypeInfo CSize Source # 

Associated Types

type DatatypeInfoOf CSize :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CWchar Source # 
HasDatatypeInfo CSigAtomic Source # 
HasDatatypeInfo CClock Source # 
HasDatatypeInfo CTime Source # 

Associated Types

type DatatypeInfoOf CTime :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo CUSeconds Source # 
HasDatatypeInfo CSUSeconds Source # 
HasDatatypeInfo CIntPtr Source # 
HasDatatypeInfo CUIntPtr Source # 
HasDatatypeInfo CIntMax Source # 
HasDatatypeInfo CUIntMax Source # 
HasDatatypeInfo SeekMode Source # 
HasDatatypeInfo All Source # 

Associated Types

type DatatypeInfoOf All :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo Any Source # 

Associated Types

type DatatypeInfoOf Any :: DatatypeInfo Source #

Methods

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

HasDatatypeInfo MaskingState Source # 
HasDatatypeInfo IOException Source # 
HasDatatypeInfo ErrorCall Source # 
HasDatatypeInfo ArithException Source # 
HasDatatypeInfo IOMode Source # 
HasDatatypeInfo Lexeme Source # 
HasDatatypeInfo Number Source # 
HasDatatypeInfo GeneralCategory Source # 
Generic Bool Source # 

Associated Types

type Code Bool :: [[*]] Source #

Methods

from :: Bool -> Rep Bool Source #

to :: Rep Bool -> Bool Source #

Generic Ordering Source # 

Associated Types

type Code Ordering :: [[*]] Source #

Methods

from :: Ordering -> Rep Ordering Source #

to :: Rep Ordering -> Ordering Source #

Generic () Source # 

Associated Types

type Code () :: [[*]] Source #

Methods

from :: () -> Rep () Source #

to :: Rep () -> () Source #

Generic FormatAdjustment Source # 
Generic FormatSign Source # 

Associated Types

type Code FormatSign :: [[*]] Source #

Methods

from :: FormatSign -> Rep FormatSign Source #

to :: Rep FormatSign -> FormatSign Source #

Generic FieldFormat Source # 

Associated Types

type Code FieldFormat :: [[*]] Source #

Methods

from :: FieldFormat -> Rep FieldFormat Source #

to :: Rep FieldFormat -> FieldFormat Source #

Generic FormatParse Source # 

Associated Types

type Code FormatParse :: [[*]] Source #

Methods

from :: FormatParse -> Rep FormatParse Source #

to :: Rep FormatParse -> FormatParse Source #

Generic DataRep Source # 

Associated Types

type Code DataRep :: [[*]] Source #

Methods

from :: DataRep -> Rep DataRep Source #

to :: Rep DataRep -> DataRep Source #

Generic ConstrRep Source # 

Associated Types

type Code ConstrRep :: [[*]] Source #

Methods

from :: ConstrRep -> Rep ConstrRep Source #

to :: Rep ConstrRep -> ConstrRep Source #

Generic Fixity Source # 

Associated Types

type Code Fixity :: [[*]] Source #

Methods

from :: Fixity -> Rep Fixity Source #

to :: Rep Fixity -> Fixity Source #

Generic Version Source # 

Associated Types

type Code Version :: [[*]] Source #

Methods

from :: Version -> Rep Version Source #

to :: Rep Version -> Version Source #

Generic PatternMatchFail Source # 
Generic RecSelError Source # 

Associated Types

type Code RecSelError :: [[*]] Source #

Methods

from :: RecSelError -> Rep RecSelError Source #

to :: Rep RecSelError -> RecSelError Source #

Generic RecConError Source # 

Associated Types

type Code RecConError :: [[*]] Source #

Methods

from :: RecConError -> Rep RecConError Source #

to :: Rep RecConError -> RecConError Source #

Generic RecUpdError Source # 

Associated Types

type Code RecUpdError :: [[*]] Source #

Methods

from :: RecUpdError -> Rep RecUpdError Source #

to :: Rep RecUpdError -> RecUpdError Source #

Generic NoMethodError Source # 
Generic NonTermination Source # 
Generic NestedAtomically Source # 
Generic Errno Source # 

Associated Types

type Code Errno :: [[*]] Source #

Methods

from :: Errno -> Rep Errno Source #

to :: Rep Errno -> Errno Source #

Generic BlockedIndefinitelyOnMVar Source # 
Generic BlockedIndefinitelyOnSTM Source # 
Generic Deadlock Source # 

Associated Types

type Code Deadlock :: [[*]] Source #

Methods

from :: Deadlock -> Rep Deadlock Source #

to :: Rep Deadlock -> Deadlock Source #

Generic AssertionFailed Source # 
Generic AsyncException Source # 
Generic ArrayException Source # 
Generic ExitCode Source # 

Associated Types

type Code ExitCode :: [[*]] Source #

Methods

from :: ExitCode -> Rep ExitCode Source #

to :: Rep ExitCode -> ExitCode Source #

Generic BufferMode Source # 

Associated Types

type Code BufferMode :: [[*]] Source #

Methods

from :: BufferMode -> Rep BufferMode Source #

to :: Rep BufferMode -> BufferMode Source #

Generic Newline Source # 

Associated Types

type Code Newline :: [[*]] Source #

Methods

from :: Newline -> Rep Newline Source #

to :: Rep Newline -> Newline Source #

Generic NewlineMode Source # 

Associated Types

type Code NewlineMode :: [[*]] Source #

Methods

from :: NewlineMode -> Rep NewlineMode Source #

to :: Rep NewlineMode -> NewlineMode Source #

Generic CChar Source # 

Associated Types

type Code CChar :: [[*]] Source #

Methods

from :: CChar -> Rep CChar Source #

to :: Rep CChar -> CChar Source #

Generic CSChar Source # 

Associated Types

type Code CSChar :: [[*]] Source #

Methods

from :: CSChar -> Rep CSChar Source #

to :: Rep CSChar -> CSChar Source #

Generic CUChar Source # 

Associated Types

type Code CUChar :: [[*]] Source #

Methods

from :: CUChar -> Rep CUChar Source #

to :: Rep CUChar -> CUChar Source #

Generic CShort Source # 

Associated Types

type Code CShort :: [[*]] Source #

Methods

from :: CShort -> Rep CShort Source #

to :: Rep CShort -> CShort Source #

Generic CUShort Source # 

Associated Types

type Code CUShort :: [[*]] Source #

Methods

from :: CUShort -> Rep CUShort Source #

to :: Rep CUShort -> CUShort Source #

Generic CInt Source # 

Associated Types

type Code CInt :: [[*]] Source #

Methods

from :: CInt -> Rep CInt Source #

to :: Rep CInt -> CInt Source #

Generic CUInt Source # 

Associated Types

type Code CUInt :: [[*]] Source #

Methods

from :: CUInt -> Rep CUInt Source #

to :: Rep CUInt -> CUInt Source #

Generic CLong Source # 

Associated Types

type Code CLong :: [[*]] Source #

Methods

from :: CLong -> Rep CLong Source #

to :: Rep CLong -> CLong Source #

Generic CULong Source # 

Associated Types

type Code CULong :: [[*]] Source #

Methods

from :: CULong -> Rep CULong Source #

to :: Rep CULong -> CULong Source #

Generic CLLong Source # 

Associated Types

type Code CLLong :: [[*]] Source #

Methods

from :: CLLong -> Rep CLLong Source #

to :: Rep CLLong -> CLLong Source #

Generic CULLong Source # 

Associated Types

type Code CULLong :: [[*]] Source #

Methods

from :: CULLong -> Rep CULLong Source #

to :: Rep CULLong -> CULLong Source #

Generic CFloat Source # 

Associated Types

type Code CFloat :: [[*]] Source #

Methods

from :: CFloat -> Rep CFloat Source #

to :: Rep CFloat -> CFloat Source #

Generic CDouble Source # 

Associated Types

type Code CDouble :: [[*]] Source #

Methods

from :: CDouble -> Rep CDouble Source #

to :: Rep CDouble -> CDouble Source #

Generic CPtrdiff Source # 

Associated Types

type Code CPtrdiff :: [[*]] Source #

Methods

from :: CPtrdiff -> Rep CPtrdiff Source #

to :: Rep CPtrdiff -> CPtrdiff Source #

Generic CSize Source # 

Associated Types

type Code CSize :: [[*]] Source #

Methods

from :: CSize -> Rep CSize Source #

to :: Rep CSize -> CSize Source #

Generic CWchar Source # 

Associated Types

type Code CWchar :: [[*]] Source #

Methods

from :: CWchar -> Rep CWchar Source #

to :: Rep CWchar -> CWchar Source #

Generic CSigAtomic Source # 

Associated Types

type Code CSigAtomic :: [[*]] Source #

Methods

from :: CSigAtomic -> Rep CSigAtomic Source #

to :: Rep CSigAtomic -> CSigAtomic Source #

Generic CClock Source # 

Associated Types

type Code CClock :: [[*]] Source #

Methods

from :: CClock -> Rep CClock Source #

to :: Rep CClock -> CClock Source #

Generic CTime Source # 

Associated Types

type Code CTime :: [[*]] Source #

Methods

from :: CTime -> Rep CTime Source #

to :: Rep CTime -> CTime Source #

Generic CUSeconds Source # 

Associated Types

type Code CUSeconds :: [[*]] Source #

Methods

from :: CUSeconds -> Rep CUSeconds Source #

to :: Rep CUSeconds -> CUSeconds Source #

Generic CSUSeconds Source # 

Associated Types

type Code CSUSeconds :: [[*]] Source #

Methods

from :: CSUSeconds -> Rep CSUSeconds Source #

to :: Rep CSUSeconds -> CSUSeconds Source #

Generic CIntPtr Source # 

Associated Types

type Code CIntPtr :: [[*]] Source #

Methods

from :: CIntPtr -> Rep CIntPtr Source #

to :: Rep CIntPtr -> CIntPtr Source #

Generic CUIntPtr Source # 

Associated Types

type Code CUIntPtr :: [[*]] Source #

Methods

from :: CUIntPtr -> Rep CUIntPtr Source #

to :: Rep CUIntPtr -> CUIntPtr Source #

Generic CIntMax Source # 

Associated Types

type Code CIntMax :: [[*]] Source #

Methods

from :: CIntMax -> Rep CIntMax Source #

to :: Rep CIntMax -> CIntMax Source #

Generic CUIntMax Source # 

Associated Types

type Code CUIntMax :: [[*]] Source #

Methods

from :: CUIntMax -> Rep CUIntMax Source #

to :: Rep CUIntMax -> CUIntMax Source #

Generic SeekMode Source # 

Associated Types

type Code SeekMode :: [[*]] Source #

Methods

from :: SeekMode -> Rep SeekMode Source #

to :: Rep SeekMode -> SeekMode Source #

Generic All Source # 

Associated Types

type Code All :: [[*]] Source #

Methods

from :: All -> Rep All Source #

to :: Rep All -> All Source #

Generic Any Source # 

Associated Types

type Code Any :: [[*]] Source #

Methods

from :: Any -> Rep Any Source #

to :: Rep Any -> Any Source #

Generic MaskingState Source # 
Generic IOException Source # 

Associated Types

type Code IOException :: [[*]] Source #

Methods

from :: IOException -> Rep IOException Source #

to :: Rep IOException -> IOException Source #

Generic ErrorCall Source # 

Associated Types

type Code ErrorCall :: [[*]] Source #

Methods

from :: ErrorCall -> Rep ErrorCall Source #

to :: Rep ErrorCall -> ErrorCall Source #

Generic ArithException Source # 
Generic IOMode Source # 

Associated Types

type Code IOMode :: [[*]] Source #

Methods

from :: IOMode -> Rep IOMode Source #

to :: Rep IOMode -> IOMode Source #

Generic Lexeme Source # 

Associated Types

type Code Lexeme :: [[*]] Source #

Methods

from :: Lexeme -> Rep Lexeme Source #

to :: Rep Lexeme -> Lexeme Source #

Generic Number Source # 

Associated Types

type Code Number :: [[*]] Source #

Methods

from :: Number -> Rep Number Source #

to :: Rep Number -> Number Source #

Generic GeneralCategory Source # 
HasDatatypeInfo [a0] Source # 

Associated Types

type DatatypeInfoOf [a0] :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy [a0] -> DatatypeInfo (Code [a0]) Source #

HasDatatypeInfo (Maybe a0) Source # 

Associated Types

type DatatypeInfoOf (Maybe a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Maybe a0) -> DatatypeInfo (Code (Maybe a0)) Source #

HasDatatypeInfo (Fixed a0) Source # 

Associated Types

type DatatypeInfoOf (Fixed a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Fixed a0) -> DatatypeInfo (Code (Fixed a0)) Source #

HasDatatypeInfo (Complex a0) Source # 

Associated Types

type DatatypeInfoOf (Complex a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Complex a0) -> DatatypeInfo (Code (Complex a0)) Source #

HasDatatypeInfo (ArgOrder a0) Source # 

Associated Types

type DatatypeInfoOf (ArgOrder a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (ArgOrder a0) -> DatatypeInfo (Code (ArgOrder a0)) Source #

HasDatatypeInfo (OptDescr a0) Source # 

Associated Types

type DatatypeInfoOf (OptDescr a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (OptDescr a0) -> DatatypeInfo (Code (OptDescr a0)) Source #

HasDatatypeInfo (ArgDescr a0) Source # 

Associated Types

type DatatypeInfoOf (ArgDescr a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (ArgDescr a0) -> DatatypeInfo (Code (ArgDescr a0)) Source #

HasDatatypeInfo (Dual a0) Source # 

Associated Types

type DatatypeInfoOf (Dual a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Dual a0) -> DatatypeInfo (Code (Dual a0)) Source #

HasDatatypeInfo (Endo a0) Source # 

Associated Types

type DatatypeInfoOf (Endo a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Endo a0) -> DatatypeInfo (Code (Endo a0)) Source #

HasDatatypeInfo (Sum a0) Source # 

Associated Types

type DatatypeInfoOf (Sum a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Sum a0) -> DatatypeInfo (Code (Sum a0)) Source #

HasDatatypeInfo (Product a0) Source # 

Associated Types

type DatatypeInfoOf (Product a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Product a0) -> DatatypeInfo (Code (Product a0)) Source #

HasDatatypeInfo (First a0) Source # 

Associated Types

type DatatypeInfoOf (First a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (First a0) -> DatatypeInfo (Code (First a0)) Source #

HasDatatypeInfo (Last a0) Source # 

Associated Types

type DatatypeInfoOf (Last a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Last a0) -> DatatypeInfo (Code (Last a0)) Source #

HasDatatypeInfo (Down a0) Source # 

Associated Types

type DatatypeInfoOf (Down a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Down a0) -> DatatypeInfo (Code (Down a0)) Source #

HasDatatypeInfo (I a0) Source # 

Associated Types

type DatatypeInfoOf (I a0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (I a0) -> DatatypeInfo (Code (I a0)) Source #

Generic [a0] Source # 

Associated Types

type Code [a0] :: [[*]] Source #

Methods

from :: [a0] -> Rep [a0] Source #

to :: Rep [a0] -> [a0] Source #

Generic (Maybe a0) Source # 

Associated Types

type Code (Maybe a0) :: [[*]] Source #

Methods

from :: Maybe a0 -> Rep (Maybe a0) Source #

to :: Rep (Maybe a0) -> Maybe a0 Source #

Generic (Fixed a0) Source # 

Associated Types

type Code (Fixed a0) :: [[*]] Source #

Methods

from :: Fixed a0 -> Rep (Fixed a0) Source #

to :: Rep (Fixed a0) -> Fixed a0 Source #

Generic (Complex a0) Source # 

Associated Types

type Code (Complex a0) :: [[*]] Source #

Methods

from :: Complex a0 -> Rep (Complex a0) Source #

to :: Rep (Complex a0) -> Complex a0 Source #

Generic (ArgOrder a0) Source # 

Associated Types

type Code (ArgOrder a0) :: [[*]] Source #

Methods

from :: ArgOrder a0 -> Rep (ArgOrder a0) Source #

to :: Rep (ArgOrder a0) -> ArgOrder a0 Source #

Generic (OptDescr a0) Source # 

Associated Types

type Code (OptDescr a0) :: [[*]] Source #

Methods

from :: OptDescr a0 -> Rep (OptDescr a0) Source #

to :: Rep (OptDescr a0) -> OptDescr a0 Source #

Generic (ArgDescr a0) Source # 

Associated Types

type Code (ArgDescr a0) :: [[*]] Source #

Methods

from :: ArgDescr a0 -> Rep (ArgDescr a0) Source #

to :: Rep (ArgDescr a0) -> ArgDescr a0 Source #

Generic (Dual a0) Source # 

Associated Types

type Code (Dual a0) :: [[*]] Source #

Methods

from :: Dual a0 -> Rep (Dual a0) Source #

to :: Rep (Dual a0) -> Dual a0 Source #

Generic (Endo a0) Source # 

Associated Types

type Code (Endo a0) :: [[*]] Source #

Methods

from :: Endo a0 -> Rep (Endo a0) Source #

to :: Rep (Endo a0) -> Endo a0 Source #

Generic (Sum a0) Source # 

Associated Types

type Code (Sum a0) :: [[*]] Source #

Methods

from :: Sum a0 -> Rep (Sum a0) Source #

to :: Rep (Sum a0) -> Sum a0 Source #

Generic (Product a0) Source # 

Associated Types

type Code (Product a0) :: [[*]] Source #

Methods

from :: Product a0 -> Rep (Product a0) Source #

to :: Rep (Product a0) -> Product a0 Source #

Generic (First a0) Source # 

Associated Types

type Code (First a0) :: [[*]] Source #

Methods

from :: First a0 -> Rep (First a0) Source #

to :: Rep (First a0) -> First a0 Source #

Generic (Last a0) Source # 

Associated Types

type Code (Last a0) :: [[*]] Source #

Methods

from :: Last a0 -> Rep (Last a0) Source #

to :: Rep (Last a0) -> Last a0 Source #

Generic (Down a0) Source # 

Associated Types

type Code (Down a0) :: [[*]] Source #

Methods

from :: Down a0 -> Rep (Down a0) Source #

to :: Rep (Down a0) -> Down a0 Source #

Generic (I a0) Source # 

Associated Types

type Code (I a0) :: [[*]] Source #

Methods

from :: I a0 -> Rep (I a0) Source #

to :: Rep (I a0) -> I a0 Source #

HasDatatypeInfo (Either a0 b0) Source # 

Associated Types

type DatatypeInfoOf (Either a0 b0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Either a0 b0) -> DatatypeInfo (Code (Either a0 b0)) Source #

HasDatatypeInfo (a0, b0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0) -> DatatypeInfo (Code (a0, b0)) Source #

HasDatatypeInfo (Proxy * t0) Source # 

Associated Types

type DatatypeInfoOf (Proxy * t0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (Proxy * t0) -> DatatypeInfo (Code (Proxy * t0)) Source #

Generic (Either a0 b0) Source # 

Associated Types

type Code (Either a0 b0) :: [[*]] Source #

Methods

from :: Either a0 b0 -> Rep (Either a0 b0) Source #

to :: Rep (Either a0 b0) -> Either a0 b0 Source #

Generic (a0, b0) Source # 

Associated Types

type Code (a0, b0) :: [[*]] Source #

Methods

from :: (a0, b0) -> Rep (a0, b0) Source #

to :: Rep (a0, b0) -> (a0, b0) Source #

Generic (Proxy * t0) Source # 

Associated Types

type Code (Proxy * t0) :: [[*]] Source #

Methods

from :: Proxy * t0 -> Rep (Proxy * t0) Source #

to :: Rep (Proxy * t0) -> Proxy * t0 Source #

HasDatatypeInfo (a0, b0, c0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0) -> DatatypeInfo (Code (a0, b0, c0)) Source #

HasDatatypeInfo (K * a0 b0) Source # 

Associated Types

type DatatypeInfoOf (K * a0 b0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (K * a0 b0) -> DatatypeInfo (Code (K * a0 b0)) Source #

Generic (a0, b0, c0) Source # 

Associated Types

type Code (a0, b0, c0) :: [[*]] Source #

Methods

from :: (a0, b0, c0) -> Rep (a0, b0, c0) Source #

to :: Rep (a0, b0, c0) -> (a0, b0, c0) Source #

Generic (K * a0 b0) Source # 

Associated Types

type Code (K * a0 b0) :: [[*]] Source #

Methods

from :: K * a0 b0 -> Rep (K * a0 b0) Source #

to :: Rep (K * a0 b0) -> K * a0 b0 Source #

HasDatatypeInfo (a0, b0, c0, d0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0) -> DatatypeInfo (Code (a0, b0, c0, d0)) Source #

Generic (a0, b0, c0, d0) Source # 

Associated Types

type Code (a0, b0, c0, d0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0) -> Rep (a0, b0, c0, d0) Source #

to :: Rep (a0, b0, c0, d0) -> (a0, b0, c0, d0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0)) Source #

HasDatatypeInfo ((:.:) * * f0 g0 p0) Source # 

Associated Types

type DatatypeInfoOf ((:.:) * * f0 g0 p0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy ((* :.: *) f0 g0 p0) -> DatatypeInfo (Code ((* :.: *) f0 g0 p0)) Source #

Generic (a0, b0, c0, d0, e0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0) -> Rep (a0, b0, c0, d0, e0) Source #

to :: Rep (a0, b0, c0, d0, e0) -> (a0, b0, c0, d0, e0) Source #

Generic ((:.:) * * f0 g0 p0) Source # 

Associated Types

type Code ((:.:) * * f0 g0 p0) :: [[*]] Source #

Methods

from :: (* :.: *) f0 g0 p0 -> Rep ((* :.: *) f0 g0 p0) Source #

to :: Rep ((* :.: *) f0 g0 p0) -> (* :.: *) f0 g0 p0 Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0)) Source #

Generic (a0, b0, c0, d0, e0, f0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0) -> Rep (a0, b0, c0, d0, e0, f0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0) -> (a0, b0, c0, d0, e0, f0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0) -> Rep (a0, b0, c0, d0, e0, f0, g0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0) -> (a0, b0, c0, d0, e0, f0, g0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0) -> (a0, b0, c0, d0, e0, f0, g0, h0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300) Source #

HasDatatypeInfo (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) Source # 

Associated Types

type DatatypeInfoOf (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) :: DatatypeInfo Source #

Methods

datatypeInfo :: proxy (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) -> DatatypeInfo (Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310)) Source #

Generic (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) Source # 

Associated Types

type Code (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) :: [[*]] Source #

Methods

from :: (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) -> Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) Source #

to :: Rep (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) -> (a0, b0, c0, d0, e0, f0, g0, h0, i0, j0, k0, l0, m0, n0, o0, p0, q0, r0, s0, t0, u0, v0, w0, x0, y0, z0, t280, t290, t300, t310) Source #