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 # 

Associated Types

type DatatypeInfoOf Bool :: DatatypeInfo #

Methods

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

HasDatatypeInfo Ordering # 

Associated Types

type DatatypeInfoOf Ordering :: DatatypeInfo #

HasDatatypeInfo () # 

Associated Types

type DatatypeInfoOf () :: DatatypeInfo #

Methods

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

HasDatatypeInfo FormatAdjustment # 
HasDatatypeInfo FormatSign # 
HasDatatypeInfo FieldFormat # 
HasDatatypeInfo FormatParse # 
HasDatatypeInfo DataRep # 

Associated Types

type DatatypeInfoOf DataRep :: DatatypeInfo #

HasDatatypeInfo ConstrRep # 
HasDatatypeInfo Fixity # 

Associated Types

type DatatypeInfoOf Fixity :: DatatypeInfo #

HasDatatypeInfo Version # 

Associated Types

type DatatypeInfoOf Version :: DatatypeInfo #

HasDatatypeInfo PatternMatchFail # 
HasDatatypeInfo RecSelError # 
HasDatatypeInfo RecConError # 
HasDatatypeInfo RecUpdError # 
HasDatatypeInfo NoMethodError # 
HasDatatypeInfo NonTermination # 
HasDatatypeInfo NestedAtomically # 
HasDatatypeInfo Errno # 

Associated Types

type DatatypeInfoOf Errno :: DatatypeInfo #

Methods

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

HasDatatypeInfo BlockedIndefinitelyOnMVar # 
HasDatatypeInfo BlockedIndefinitelyOnSTM # 
HasDatatypeInfo Deadlock # 

Associated Types

type DatatypeInfoOf Deadlock :: DatatypeInfo #

HasDatatypeInfo AssertionFailed # 
HasDatatypeInfo AsyncException # 
HasDatatypeInfo ArrayException # 
HasDatatypeInfo ExitCode # 

Associated Types

type DatatypeInfoOf ExitCode :: DatatypeInfo #

HasDatatypeInfo BufferMode # 
HasDatatypeInfo Newline # 

Associated Types

type DatatypeInfoOf Newline :: DatatypeInfo #

HasDatatypeInfo NewlineMode # 
HasDatatypeInfo CChar # 

Associated Types

type DatatypeInfoOf CChar :: DatatypeInfo #

Methods

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

HasDatatypeInfo CSChar # 

Associated Types

type DatatypeInfoOf CSChar :: DatatypeInfo #

HasDatatypeInfo CUChar # 

Associated Types

type DatatypeInfoOf CUChar :: DatatypeInfo #

HasDatatypeInfo CShort # 

Associated Types

type DatatypeInfoOf CShort :: DatatypeInfo #

HasDatatypeInfo CUShort # 

Associated Types

type DatatypeInfoOf CUShort :: DatatypeInfo #

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 #

HasDatatypeInfo CLLong # 

Associated Types

type DatatypeInfoOf CLLong :: DatatypeInfo #

HasDatatypeInfo CULLong # 

Associated Types

type DatatypeInfoOf CULLong :: DatatypeInfo #

HasDatatypeInfo CFloat # 

Associated Types

type DatatypeInfoOf CFloat :: DatatypeInfo #

HasDatatypeInfo CDouble # 

Associated Types

type DatatypeInfoOf CDouble :: DatatypeInfo #

HasDatatypeInfo CPtrdiff # 

Associated Types

type DatatypeInfoOf CPtrdiff :: DatatypeInfo #

HasDatatypeInfo CSize # 

Associated Types

type DatatypeInfoOf CSize :: DatatypeInfo #

Methods

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

HasDatatypeInfo CWchar # 

Associated Types

type DatatypeInfoOf CWchar :: DatatypeInfo #

HasDatatypeInfo CSigAtomic # 
HasDatatypeInfo CClock # 

Associated Types

type DatatypeInfoOf CClock :: DatatypeInfo #

HasDatatypeInfo CTime # 

Associated Types

type DatatypeInfoOf CTime :: DatatypeInfo #

Methods

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

HasDatatypeInfo CUSeconds # 
HasDatatypeInfo CSUSeconds # 
HasDatatypeInfo CIntPtr # 

Associated Types

type DatatypeInfoOf CIntPtr :: DatatypeInfo #

HasDatatypeInfo CUIntPtr # 

Associated Types

type DatatypeInfoOf CUIntPtr :: DatatypeInfo #

HasDatatypeInfo CIntMax # 

Associated Types

type DatatypeInfoOf CIntMax :: DatatypeInfo #

HasDatatypeInfo CUIntMax # 

Associated Types

type DatatypeInfoOf CUIntMax :: DatatypeInfo #

HasDatatypeInfo SeekMode # 

Associated Types

type DatatypeInfoOf SeekMode :: DatatypeInfo #

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 MaskingState # 
HasDatatypeInfo IOException # 
HasDatatypeInfo ErrorCall # 
HasDatatypeInfo ArithException # 
HasDatatypeInfo IOMode # 

Associated Types

type DatatypeInfoOf IOMode :: DatatypeInfo #

HasDatatypeInfo Lexeme # 

Associated Types

type DatatypeInfoOf Lexeme :: DatatypeInfo #

HasDatatypeInfo Number # 

Associated Types

type DatatypeInfoOf Number :: DatatypeInfo #

HasDatatypeInfo GeneralCategory # 
Generic Bool # 

Associated Types

type Code Bool :: [[*]] #

Methods

from :: Bool -> Rep Bool #

to :: Rep Bool -> Bool #

Generic Ordering # 

Associated Types

type Code Ordering :: [[*]] #

Generic () # 

Associated Types

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

Methods

from :: () -> Rep () #

to :: Rep () -> () #

Generic FormatAdjustment # 
Generic FormatSign # 

Associated Types

type Code FormatSign :: [[*]] #

Generic FieldFormat # 

Associated Types

type Code FieldFormat :: [[*]] #

Generic FormatParse # 

Associated Types

type Code FormatParse :: [[*]] #

Generic DataRep # 

Associated Types

type Code DataRep :: [[*]] #

Generic ConstrRep # 

Associated Types

type Code ConstrRep :: [[*]] #

Generic Fixity # 

Associated Types

type Code Fixity :: [[*]] #

Methods

from :: Fixity -> Rep Fixity #

to :: Rep Fixity -> Fixity #

Generic Version # 

Associated Types

type Code Version :: [[*]] #

Generic PatternMatchFail # 
Generic RecSelError # 

Associated Types

type Code RecSelError :: [[*]] #

Generic RecConError # 

Associated Types

type Code RecConError :: [[*]] #

Generic RecUpdError # 

Associated Types

type Code RecUpdError :: [[*]] #

Generic NoMethodError # 

Associated Types

type Code NoMethodError :: [[*]] #

Generic NonTermination # 
Generic NestedAtomically # 
Generic Errno # 

Associated Types

type Code Errno :: [[*]] #

Methods

from :: Errno -> Rep Errno #

to :: Rep Errno -> Errno #

Generic BlockedIndefinitelyOnMVar # 
Generic BlockedIndefinitelyOnSTM # 
Generic Deadlock # 

Associated Types

type Code Deadlock :: [[*]] #

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

Associated Types

type Code ExitCode :: [[*]] #

Generic BufferMode # 

Associated Types

type Code BufferMode :: [[*]] #

Generic Newline # 

Associated Types

type Code Newline :: [[*]] #

Generic NewlineMode # 

Associated Types

type Code NewlineMode :: [[*]] #

Generic CChar # 

Associated Types

type Code CChar :: [[*]] #

Methods

from :: CChar -> Rep CChar #

to :: Rep CChar -> CChar #

Generic CSChar # 

Associated Types

type Code CSChar :: [[*]] #

Methods

from :: CSChar -> Rep CSChar #

to :: Rep CSChar -> CSChar #

Generic CUChar # 

Associated Types

type Code CUChar :: [[*]] #

Methods

from :: CUChar -> Rep CUChar #

to :: Rep CUChar -> CUChar #

Generic CShort # 

Associated Types

type Code CShort :: [[*]] #

Methods

from :: CShort -> Rep CShort #

to :: Rep CShort -> CShort #

Generic CUShort # 

Associated Types

type Code CUShort :: [[*]] #

Generic CInt # 

Associated Types

type Code CInt :: [[*]] #

Methods

from :: CInt -> Rep CInt #

to :: Rep CInt -> CInt #

Generic CUInt # 

Associated Types

type Code CUInt :: [[*]] #

Methods

from :: CUInt -> Rep CUInt #

to :: Rep CUInt -> CUInt #

Generic CLong # 

Associated Types

type Code CLong :: [[*]] #

Methods

from :: CLong -> Rep CLong #

to :: Rep CLong -> CLong #

Generic CULong # 

Associated Types

type Code CULong :: [[*]] #

Methods

from :: CULong -> Rep CULong #

to :: Rep CULong -> CULong #

Generic CLLong # 

Associated Types

type Code CLLong :: [[*]] #

Methods

from :: CLLong -> Rep CLLong #

to :: Rep CLLong -> CLLong #

Generic CULLong # 

Associated Types

type Code CULLong :: [[*]] #

Generic CFloat # 

Associated Types

type Code CFloat :: [[*]] #

Methods

from :: CFloat -> Rep CFloat #

to :: Rep CFloat -> CFloat #

Generic CDouble # 

Associated Types

type Code CDouble :: [[*]] #

Generic CPtrdiff # 

Associated Types

type Code CPtrdiff :: [[*]] #

Generic CSize # 

Associated Types

type Code CSize :: [[*]] #

Methods

from :: CSize -> Rep CSize #

to :: Rep CSize -> CSize #

Generic CWchar # 

Associated Types

type Code CWchar :: [[*]] #

Methods

from :: CWchar -> Rep CWchar #

to :: Rep CWchar -> CWchar #

Generic CSigAtomic # 

Associated Types

type Code CSigAtomic :: [[*]] #

Generic CClock # 

Associated Types

type Code CClock :: [[*]] #

Methods

from :: CClock -> Rep CClock #

to :: Rep CClock -> CClock #

Generic CTime # 

Associated Types

type Code CTime :: [[*]] #

Methods

from :: CTime -> Rep CTime #

to :: Rep CTime -> CTime #

Generic CUSeconds # 

Associated Types

type Code CUSeconds :: [[*]] #

Generic CSUSeconds # 

Associated Types

type Code CSUSeconds :: [[*]] #

Generic CIntPtr # 

Associated Types

type Code CIntPtr :: [[*]] #

Generic CUIntPtr # 

Associated Types

type Code CUIntPtr :: [[*]] #

Generic CIntMax # 

Associated Types

type Code CIntMax :: [[*]] #

Generic CUIntMax # 

Associated Types

type Code CUIntMax :: [[*]] #

Generic SeekMode # 

Associated Types

type Code SeekMode :: [[*]] #

Generic All # 

Associated Types

type Code All :: [[*]] #

Methods

from :: All -> Rep All #

to :: Rep All -> All #

Generic Any # 

Associated Types

type Code Any :: [[*]] #

Methods

from :: Any -> Rep Any #

to :: Rep Any -> Any #

Generic MaskingState # 

Associated Types

type Code MaskingState :: [[*]] #

Generic IOException # 

Associated Types

type Code IOException :: [[*]] #

Generic ErrorCall # 

Associated Types

type Code ErrorCall :: [[*]] #

Generic ArithException # 
Generic IOMode # 

Associated Types

type Code IOMode :: [[*]] #

Methods

from :: IOMode -> Rep IOMode #

to :: Rep IOMode -> IOMode #

Generic Lexeme # 

Associated Types

type Code Lexeme :: [[*]] #

Methods

from :: Lexeme -> Rep Lexeme #

to :: Rep Lexeme -> Lexeme #

Generic Number # 

Associated Types

type Code Number :: [[*]] #

Methods

from :: Number -> Rep Number #

to :: Rep Number -> Number #

Generic GeneralCategory # 
HasDatatypeInfo [a0] # 

Associated Types

type DatatypeInfoOf [a0] :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Maybe a0) # 

Associated Types

type DatatypeInfoOf (Maybe a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Fixed a0) # 

Associated Types

type DatatypeInfoOf (Fixed a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Complex a0) # 

Associated Types

type DatatypeInfoOf (Complex a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (ArgOrder a0) # 

Associated Types

type DatatypeInfoOf (ArgOrder a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (OptDescr a0) # 

Associated Types

type DatatypeInfoOf (OptDescr a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (ArgDescr a0) # 

Associated Types

type DatatypeInfoOf (ArgDescr a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Dual a0) # 

Associated Types

type DatatypeInfoOf (Dual a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Endo a0) # 

Associated Types

type DatatypeInfoOf (Endo a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Sum a0) # 

Associated Types

type DatatypeInfoOf (Sum a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Product a0) # 

Associated Types

type DatatypeInfoOf (Product a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (First a0) # 

Associated Types

type DatatypeInfoOf (First a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Last a0) # 

Associated Types

type DatatypeInfoOf (Last a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Down a0) # 

Associated Types

type DatatypeInfoOf (Down a0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (I a0) # 

Associated Types

type DatatypeInfoOf (I a0) :: DatatypeInfo #

Methods

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

Generic [a0] # 

Associated Types

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

Methods

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

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

Generic (Maybe a0) # 

Associated Types

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

Methods

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

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

Generic (Fixed a0) # 

Associated Types

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

Methods

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

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

Generic (Complex a0) # 

Associated Types

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

Methods

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

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

Generic (ArgOrder a0) # 

Associated Types

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

Methods

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

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

Generic (OptDescr a0) # 

Associated Types

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

Methods

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

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

Generic (ArgDescr a0) # 

Associated Types

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

Methods

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

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

Generic (Dual a0) # 

Associated Types

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

Methods

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

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

Generic (Endo a0) # 

Associated Types

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

Methods

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

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

Generic (Sum a0) # 

Associated Types

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

Methods

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

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

Generic (Product a0) # 

Associated Types

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

Methods

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

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

Generic (First a0) # 

Associated Types

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

Methods

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

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

Generic (Last a0) # 

Associated Types

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

Methods

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

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

Generic (Down a0) # 

Associated Types

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

Methods

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

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

Generic (I a0) # 

Associated Types

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

Methods

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

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

HasDatatypeInfo (Either a0 b0) # 

Associated Types

type DatatypeInfoOf (Either a0 b0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (a0, b0) # 

Associated Types

type DatatypeInfoOf (a0, b0) :: DatatypeInfo #

Methods

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

HasDatatypeInfo (Proxy * t0) # 

Associated Types

type DatatypeInfoOf (Proxy * t0) :: DatatypeInfo #

Methods

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

Generic (Either a0 b0) # 

Associated Types

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

Methods

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

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

Generic (a0, b0) # 

Associated Types

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

Methods

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

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

Generic (Proxy * t0) # 

Associated Types

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

Methods

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

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

HasDatatypeInfo (a0, b0, c0) # 

Associated Types

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

Methods

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

HasDatatypeInfo (K * a0 b0) # 

Associated Types

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

Methods

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

Generic (a0, b0, c0) # 

Associated Types

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

Methods

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

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

Generic (K * a0 b0) # 

Associated Types

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

Methods

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

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

HasDatatypeInfo (a0, b0, c0, d0) # 

Associated Types

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

Methods

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

Generic (a0, b0, c0, d0) # 

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

Associated Types

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

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)) #

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

Associated Types

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

Methods

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

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

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

Associated Types

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

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)) #

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

Associated Types

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

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) #

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) #

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

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 #

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)) #

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

Associated Types

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

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) #

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) #

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

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 #

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)) #

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

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) :: [[*]] #

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) #

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) #

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

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 #

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)) #

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

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) :: [[*]] #

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) #

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) #

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

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 #

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)) #

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

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #

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) # 

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 #

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)) #

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) # 

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) :: [[*]] #

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) #

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) #