Generics.SOP.Universe

Codes and interpretations

Documentation

type Rep a = SOP I (Code a)

The (generic) representation of a datatype.

A datatype is isomorphic to the sum-of-products of its code. The isomorphism is witnessed by from and to from the Generic class.

class All SListI (Code a) => Generic (a :: *) where

The class of representable datatypes.

The SOP approach to generic programming is based on viewing datatypes as a representation (Rep) built from the sum of products of its components. The components of are datatype are specified using the Code type family.

The isomorphism between the original Haskell datatype and its representation is witnessed by the methods of this class, from and to. So for instances of this class, the following laws should (in general) hold:

to . from === id :: a -> a
from . to === id :: Rep a -> Rep a

You typically don't define instances of this class by hand, but rather derive the class instance automatically.

Option 1: Derive via the built-in GHC-generics. For this, you need to use the DeriveGeneric extension to first derive an instance of the Generic class from module GHC.Generics. With this, you can then give an empty instance for Generic, and the default definitions will just work. The pattern looks as follows:

import qualified GHC.Generics as GHC
import Generics.SOP

...

data T = ... deriving (GHC.Generic, ...)

instance Generic T -- empty
instance HasDatatypeInfo T -- empty, if you want/need metadata

Option 2: Derive via Template Haskell. For this, you need to enable the TemplateHaskell extension. You can then use deriveGeneric from module Generics.SOP.TH to have the instance generated for you. The pattern looks as follows:

import Generics.SOP
import Generics.SOP.TH

...

data T = ...

deriveGeneric ''T -- derives HasDatatypeInfo as well

Tradeoffs: Whether to use Option 1 or 2 is mainly a matter of personal taste. The version based on Template Haskell probably has less run-time overhead.

Non-standard instances: It is possible to give Generic instances manually that deviate from the standard scheme, as long as at least

to . from === id :: a -> a

still holds.

Associated Types

type Code a :: [[*]]

The code of a datatype.

This is a list of lists of its components. The outer list contains one element per constructor. The inner list contains one element per constructor argument (field).

Example: The datatype

data Tree = Leaf Int | Node Tree Tree

is supposed to have the following code:

type instance Code (Tree a) =
  '[ '[ Int ]
   , '[ Tree, Tree ]
   ]

Methods

from :: a -> Rep a

Converts from a value to its structural representation.

from :: (GFrom a, Generic a, Rep a ~ SOP I (GCode a)) => a -> Rep a

Converts from a value to its structural representation.

to :: Rep a -> a

Converts from a structural representation back to the original value.

to :: (GTo a, Generic a, Rep a ~ SOP I (GCode a)) => Rep a -> a

Converts from a structural representation back to the original value.

Instances

Generic Bool

Defined in Generics.SOP.Instances

Associated Types

type Code Bool :: [[*]]

Methods

from :: Bool -> Rep Bool

to :: Rep Bool -> Bool

Generic Ordering

Defined in Generics.SOP.Instances

Associated Types

type Code Ordering :: [[*]]

Methods

from :: Ordering -> Rep Ordering

to :: Rep Ordering -> Ordering

Generic ()

Defined in Generics.SOP.Instances

Associated Types

type Code () :: [[*]]

Methods

from :: () -> Rep ()

to :: Rep () -> ()

Generic DataRep

Defined in Generics.SOP.Instances

Associated Types

type Code DataRep :: [[*]]

Methods

from :: DataRep -> Rep DataRep

to :: Rep DataRep -> DataRep

Generic ConstrRep

Defined in Generics.SOP.Instances

Associated Types

type Code ConstrRep :: [[*]]

Methods

from :: ConstrRep -> Rep ConstrRep

to :: Rep ConstrRep -> ConstrRep

Generic Fixity

Defined in Generics.SOP.Instances

Associated Types

type Code Fixity :: [[*]]

Methods

from :: Fixity -> Rep Fixity

to :: Rep Fixity -> Fixity

Generic FormatAdjustment

Defined in Generics.SOP.Instances

Associated Types

type Code FormatAdjustment :: [[*]]

Methods

from :: FormatAdjustment -> Rep FormatAdjustment

to :: Rep FormatAdjustment -> FormatAdjustment

Generic FormatSign

Defined in Generics.SOP.Instances

Associated Types

type Code FormatSign :: [[*]]

Methods

from :: FormatSign -> Rep FormatSign

to :: Rep FormatSign -> FormatSign

Generic FieldFormat

Defined in Generics.SOP.Instances

Associated Types

type Code FieldFormat :: [[*]]

Methods

from :: FieldFormat -> Rep FieldFormat

to :: Rep FieldFormat -> FieldFormat

Generic FormatParse

Defined in Generics.SOP.Instances

Associated Types

type Code FormatParse :: [[*]]

Methods

from :: FormatParse -> Rep FormatParse

to :: Rep FormatParse -> FormatParse

Generic Version

Defined in Generics.SOP.Instances

Associated Types

type Code Version :: [[*]]

Methods

from :: Version -> Rep Version

to :: Rep Version -> Version

Generic PatternMatchFail

Defined in Generics.SOP.Instances

Associated Types

type Code PatternMatchFail :: [[*]]

Methods

from :: PatternMatchFail -> Rep PatternMatchFail

to :: Rep PatternMatchFail -> PatternMatchFail

Generic RecSelError

Defined in Generics.SOP.Instances

Associated Types

type Code RecSelError :: [[*]]

Methods

from :: RecSelError -> Rep RecSelError

to :: Rep RecSelError -> RecSelError

Generic RecConError

Defined in Generics.SOP.Instances

Associated Types

type Code RecConError :: [[*]]

Methods

from :: RecConError -> Rep RecConError

to :: Rep RecConError -> RecConError

Generic RecUpdError

Defined in Generics.SOP.Instances

Associated Types

type Code RecUpdError :: [[*]]

Methods

from :: RecUpdError -> Rep RecUpdError

to :: Rep RecUpdError -> RecUpdError

Generic NoMethodError

Defined in Generics.SOP.Instances

Associated Types

type Code NoMethodError :: [[*]]

Methods

from :: NoMethodError -> Rep NoMethodError

to :: Rep NoMethodError -> NoMethodError

Generic NonTermination

Defined in Generics.SOP.Instances

Associated Types

type Code NonTermination :: [[*]]

Methods

from :: NonTermination -> Rep NonTermination

to :: Rep NonTermination -> NonTermination

Generic NestedAtomically

Defined in Generics.SOP.Instances

Associated Types

type Code NestedAtomically :: [[*]]

Methods

from :: NestedAtomically -> Rep NestedAtomically

to :: Rep NestedAtomically -> NestedAtomically

Generic Errno

Defined in Generics.SOP.Instances

Associated Types

type Code Errno :: [[*]]

Methods

from :: Errno -> Rep Errno

to :: Rep Errno -> Errno

Generic BlockedIndefinitelyOnMVar

Defined in Generics.SOP.Instances

Associated Types

type Code BlockedIndefinitelyOnMVar :: [[*]]

Methods

from :: BlockedIndefinitelyOnMVar -> Rep BlockedIndefinitelyOnMVar

to :: Rep BlockedIndefinitelyOnMVar -> BlockedIndefinitelyOnMVar

Generic BlockedIndefinitelyOnSTM

Defined in Generics.SOP.Instances

Associated Types

type Code BlockedIndefinitelyOnSTM :: [[*]]

Methods

from :: BlockedIndefinitelyOnSTM -> Rep BlockedIndefinitelyOnSTM

to :: Rep BlockedIndefinitelyOnSTM -> BlockedIndefinitelyOnSTM

Generic Deadlock

Defined in Generics.SOP.Instances

Associated Types

type Code Deadlock :: [[*]]

Methods

from :: Deadlock -> Rep Deadlock

to :: Rep Deadlock -> Deadlock

Generic AssertionFailed

Defined in Generics.SOP.Instances

Associated Types

type Code AssertionFailed :: [[*]]

Methods

from :: AssertionFailed -> Rep AssertionFailed

to :: Rep AssertionFailed -> AssertionFailed

Generic AsyncException

Defined in Generics.SOP.Instances

Associated Types

type Code AsyncException :: [[*]]

Methods

from :: AsyncException -> Rep AsyncException

to :: Rep AsyncException -> AsyncException

Generic ArrayException

Defined in Generics.SOP.Instances

Associated Types

type Code ArrayException :: [[*]]

Methods

from :: ArrayException -> Rep ArrayException

to :: Rep ArrayException -> ArrayException

Generic ExitCode

Defined in Generics.SOP.Instances

Associated Types

type Code ExitCode :: [[*]]

Methods

from :: ExitCode -> Rep ExitCode

to :: Rep ExitCode -> ExitCode

Generic BufferMode

Defined in Generics.SOP.Instances

Associated Types

type Code BufferMode :: [[*]]

Methods

from :: BufferMode -> Rep BufferMode

to :: Rep BufferMode -> BufferMode

Generic Newline

Defined in Generics.SOP.Instances

Associated Types

type Code Newline :: [[*]]

Methods

from :: Newline -> Rep Newline

to :: Rep Newline -> Newline

Generic NewlineMode

Defined in Generics.SOP.Instances

Associated Types

type Code NewlineMode :: [[*]]

Methods

from :: NewlineMode -> Rep NewlineMode

to :: Rep NewlineMode -> NewlineMode

Generic SeekMode

Defined in Generics.SOP.Instances

Associated Types

type Code SeekMode :: [[*]]

Methods

from :: SeekMode -> Rep SeekMode

to :: Rep SeekMode -> SeekMode

Generic MaskingState

Defined in Generics.SOP.Instances

Associated Types

type Code MaskingState :: [[*]]

Methods

from :: MaskingState -> Rep MaskingState

to :: Rep MaskingState -> MaskingState

Generic IOException

Defined in Generics.SOP.Instances

Associated Types

type Code IOException :: [[*]]

Methods

from :: IOException -> Rep IOException

to :: Rep IOException -> IOException

Generic ErrorCall

Defined in Generics.SOP.Instances

Associated Types

type Code ErrorCall :: [[*]]

Methods

from :: ErrorCall -> Rep ErrorCall

to :: Rep ErrorCall -> ErrorCall

Generic ArithException

Defined in Generics.SOP.Instances

Associated Types

type Code ArithException :: [[*]]

Methods

from :: ArithException -> Rep ArithException

to :: Rep ArithException -> ArithException

Generic All

Defined in Generics.SOP.Instances

Associated Types

type Code All :: [[*]]

Methods

from :: All -> Rep All

to :: Rep All -> All

Generic Any

Defined in Generics.SOP.Instances

Associated Types

type Code Any :: [[*]]

Methods

from :: Any -> Rep Any

to :: Rep Any -> Any

Generic CChar

Defined in Generics.SOP.Instances

Associated Types

type Code CChar :: [[*]]

Methods

from :: CChar -> Rep CChar

to :: Rep CChar -> CChar

Generic CSChar

Defined in Generics.SOP.Instances

Associated Types

type Code CSChar :: [[*]]

Methods

from :: CSChar -> Rep CSChar

to :: Rep CSChar -> CSChar

Generic CUChar

Defined in Generics.SOP.Instances

Associated Types

type Code CUChar :: [[*]]

Methods

from :: CUChar -> Rep CUChar

to :: Rep CUChar -> CUChar

Generic CShort

Defined in Generics.SOP.Instances

Associated Types

type Code CShort :: [[*]]

Methods

from :: CShort -> Rep CShort

to :: Rep CShort -> CShort

Generic CUShort

Defined in Generics.SOP.Instances

Associated Types

type Code CUShort :: [[*]]

Methods

from :: CUShort -> Rep CUShort

to :: Rep CUShort -> CUShort

Generic CInt

Defined in Generics.SOP.Instances

Associated Types

type Code CInt :: [[*]]

Methods

from :: CInt -> Rep CInt

to :: Rep CInt -> CInt

Generic CUInt

Defined in Generics.SOP.Instances

Associated Types

type Code CUInt :: [[*]]

Methods

from :: CUInt -> Rep CUInt

to :: Rep CUInt -> CUInt

Generic CLong

Defined in Generics.SOP.Instances

Associated Types

type Code CLong :: [[*]]

Methods

from :: CLong -> Rep CLong

to :: Rep CLong -> CLong

Generic CULong

Defined in Generics.SOP.Instances

Associated Types

type Code CULong :: [[*]]

Methods

from :: CULong -> Rep CULong

to :: Rep CULong -> CULong

Generic CLLong

Defined in Generics.SOP.Instances

Associated Types

type Code CLLong :: [[*]]

Methods

from :: CLLong -> Rep CLLong

to :: Rep CLLong -> CLLong

Generic CULLong

Defined in Generics.SOP.Instances

Associated Types

type Code CULLong :: [[*]]

Methods

from :: CULLong -> Rep CULLong

to :: Rep CULLong -> CULLong

Generic CFloat

Defined in Generics.SOP.Instances

Associated Types

type Code CFloat :: [[*]]

Methods

from :: CFloat -> Rep CFloat

to :: Rep CFloat -> CFloat

Generic CDouble

Defined in Generics.SOP.Instances

Associated Types

type Code CDouble :: [[*]]

Methods

from :: CDouble -> Rep CDouble

to :: Rep CDouble -> CDouble

Generic CPtrdiff

Defined in Generics.SOP.Instances

Associated Types

type Code CPtrdiff :: [[*]]

Methods

from :: CPtrdiff -> Rep CPtrdiff

to :: Rep CPtrdiff -> CPtrdiff

Generic CSize

Defined in Generics.SOP.Instances

Associated Types

type Code CSize :: [[*]]

Methods

from :: CSize -> Rep CSize

to :: Rep CSize -> CSize

Generic CWchar

Defined in Generics.SOP.Instances

Associated Types

type Code CWchar :: [[*]]

Methods

from :: CWchar -> Rep CWchar

to :: Rep CWchar -> CWchar

Generic CSigAtomic

Defined in Generics.SOP.Instances

Associated Types

type Code CSigAtomic :: [[*]]

Methods

from :: CSigAtomic -> Rep CSigAtomic

to :: Rep CSigAtomic -> CSigAtomic

Generic CClock

Defined in Generics.SOP.Instances

Associated Types

type Code CClock :: [[*]]

Methods

from :: CClock -> Rep CClock

to :: Rep CClock -> CClock

Generic CTime

Defined in Generics.SOP.Instances

Associated Types

type Code CTime :: [[*]]

Methods

from :: CTime -> Rep CTime

to :: Rep CTime -> CTime

Generic CUSeconds

Defined in Generics.SOP.Instances

Associated Types

type Code CUSeconds :: [[*]]

Methods

from :: CUSeconds -> Rep CUSeconds

to :: Rep CUSeconds -> CUSeconds

Generic CSUSeconds

Defined in Generics.SOP.Instances

Associated Types

type Code CSUSeconds :: [[*]]

Methods

from :: CSUSeconds -> Rep CSUSeconds

to :: Rep CSUSeconds -> CSUSeconds

Generic CIntPtr

Defined in Generics.SOP.Instances

Associated Types

type Code CIntPtr :: [[*]]

Methods

from :: CIntPtr -> Rep CIntPtr

to :: Rep CIntPtr -> CIntPtr

Generic CUIntPtr

Defined in Generics.SOP.Instances

Associated Types

type Code CUIntPtr :: [[*]]

Methods

from :: CUIntPtr -> Rep CUIntPtr

to :: Rep CUIntPtr -> CUIntPtr

Generic CIntMax

Defined in Generics.SOP.Instances

Associated Types

type Code CIntMax :: [[*]]

Methods

from :: CIntMax -> Rep CIntMax

to :: Rep CIntMax -> CIntMax

Generic CUIntMax

Defined in Generics.SOP.Instances

Associated Types

type Code CUIntMax :: [[*]]

Methods

from :: CUIntMax -> Rep CUIntMax

to :: Rep CUIntMax -> CUIntMax

Generic IOMode

Defined in Generics.SOP.Instances

Associated Types

type Code IOMode :: [[*]]

Methods

from :: IOMode -> Rep IOMode

to :: Rep IOMode -> IOMode

Generic Lexeme

Defined in Generics.SOP.Instances

Associated Types

type Code Lexeme :: [[*]]

Methods

from :: Lexeme -> Rep Lexeme

to :: Rep Lexeme -> Lexeme

Generic Number

Defined in Generics.SOP.Instances

Associated Types

type Code Number :: [[*]]

Methods

from :: Number -> Rep Number

to :: Rep Number -> Number

Generic GeneralCategory

Defined in Generics.SOP.Instances

Associated Types

type Code GeneralCategory :: [[*]]

Methods

from :: GeneralCategory -> Rep GeneralCategory

to :: Rep GeneralCategory -> GeneralCategory

Generic [a]

Defined in Generics.SOP.Instances

Associated Types

type Code [a] :: [[*]]

Methods

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

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

Generic (Maybe a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Complex a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Fixed a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (ArgOrder a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (OptDescr a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (ArgDescr a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (First a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Last a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Dual a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Endo a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Sum a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Product a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Down a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (I a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Either a b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (a, b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Proxy t)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (a, b, c)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (K a b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (a, b, c, d)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic ((f :.: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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)

Defined in Generics.SOP.Instances

Associated Types

type Code (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, t29) :: [[*]]

Methods

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

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

class HasDatatypeInfo a where

A class of datatypes that have associated metadata.

It is possible to use the sum-of-products approach to generic programming without metadata. If you need metadata in a function, an additional constraint on this class is in order.

You typically don't define instances of this class by hand, but rather derive the class instance automatically. See the documentation of Generic for the options.

Associated Types

type DatatypeInfoOf a :: DatatypeInfo

Type-level datatype info

Methods

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

Term-level datatype info; by default, the term-level datatype info is produced from the type-level info.

datatypeInfo :: (GDatatypeInfo a, GCode a ~ Code a) => proxy a -> DatatypeInfo (Code a)

Term-level datatype info; by default, the term-level datatype info is produced from the type-level info.

Instances

HasDatatypeInfo Bool

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Bool :: DatatypeInfo

Methods

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

HasDatatypeInfo Ordering

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Ordering :: DatatypeInfo

Methods

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

HasDatatypeInfo ()

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf () :: DatatypeInfo

Methods

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

HasDatatypeInfo DataRep

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DataRep :: DatatypeInfo

Methods

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

HasDatatypeInfo ConstrRep

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ConstrRep :: DatatypeInfo

Methods

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

HasDatatypeInfo Fixity

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Fixity :: DatatypeInfo

Methods

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

HasDatatypeInfo FormatAdjustment

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FormatAdjustment :: DatatypeInfo

Methods

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

HasDatatypeInfo FormatSign

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FormatSign :: DatatypeInfo

Methods

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

HasDatatypeInfo FieldFormat

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FieldFormat :: DatatypeInfo

Methods

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

HasDatatypeInfo FormatParse

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FormatParse :: DatatypeInfo

Methods

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

HasDatatypeInfo Version

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Version :: DatatypeInfo

Methods

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

HasDatatypeInfo PatternMatchFail

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf PatternMatchFail :: DatatypeInfo

Methods

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

HasDatatypeInfo RecSelError

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RecSelError :: DatatypeInfo

Methods

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

HasDatatypeInfo RecConError

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RecConError :: DatatypeInfo

Methods

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

HasDatatypeInfo RecUpdError

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RecUpdError :: DatatypeInfo

Methods

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

HasDatatypeInfo NoMethodError

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf NoMethodError :: DatatypeInfo

Methods

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

HasDatatypeInfo NonTermination

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf NonTermination :: DatatypeInfo

Methods

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

HasDatatypeInfo NestedAtomically

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf NestedAtomically :: DatatypeInfo

Methods

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

HasDatatypeInfo Errno

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Errno :: DatatypeInfo

Methods

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

HasDatatypeInfo BlockedIndefinitelyOnMVar

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf BlockedIndefinitelyOnMVar :: DatatypeInfo

Methods

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

HasDatatypeInfo BlockedIndefinitelyOnSTM

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf BlockedIndefinitelyOnSTM :: DatatypeInfo

Methods

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

HasDatatypeInfo Deadlock

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Deadlock :: DatatypeInfo

Methods

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

HasDatatypeInfo AssertionFailed

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf AssertionFailed :: DatatypeInfo

Methods

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

HasDatatypeInfo AsyncException

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf AsyncException :: DatatypeInfo

Methods

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

HasDatatypeInfo ArrayException

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ArrayException :: DatatypeInfo

Methods

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

HasDatatypeInfo ExitCode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ExitCode :: DatatypeInfo

Methods

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

HasDatatypeInfo BufferMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf BufferMode :: DatatypeInfo

Methods

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

HasDatatypeInfo Newline

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Newline :: DatatypeInfo

Methods

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

HasDatatypeInfo NewlineMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf NewlineMode :: DatatypeInfo

Methods

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

HasDatatypeInfo SeekMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SeekMode :: DatatypeInfo

Methods

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

HasDatatypeInfo MaskingState

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf MaskingState :: DatatypeInfo

Methods

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

HasDatatypeInfo IOException

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf IOException :: DatatypeInfo

Methods

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

HasDatatypeInfo ErrorCall

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ErrorCall :: DatatypeInfo

Methods

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

HasDatatypeInfo ArithException

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ArithException :: DatatypeInfo

Methods

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

HasDatatypeInfo All

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf All :: DatatypeInfo

Methods

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

HasDatatypeInfo Any

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Any :: DatatypeInfo

Methods

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

HasDatatypeInfo CChar

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CChar :: DatatypeInfo

Methods

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

HasDatatypeInfo CSChar

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CSChar :: DatatypeInfo

Methods

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

HasDatatypeInfo CUChar

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUChar :: DatatypeInfo

Methods

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

HasDatatypeInfo CShort

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CShort :: DatatypeInfo

Methods

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

HasDatatypeInfo CUShort

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUShort :: DatatypeInfo

Methods

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

HasDatatypeInfo CInt

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CInt :: DatatypeInfo

Methods

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

HasDatatypeInfo CUInt

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUInt :: DatatypeInfo

Methods

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

HasDatatypeInfo CLong

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CLong :: DatatypeInfo

Methods

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

HasDatatypeInfo CULong

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CULong :: DatatypeInfo

Methods

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

HasDatatypeInfo CLLong

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CLLong :: DatatypeInfo

Methods

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

HasDatatypeInfo CULLong

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CULLong :: DatatypeInfo

Methods

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

HasDatatypeInfo CFloat

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CFloat :: DatatypeInfo

Methods

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

HasDatatypeInfo CDouble

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CDouble :: DatatypeInfo

Methods

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

HasDatatypeInfo CPtrdiff

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CPtrdiff :: DatatypeInfo

Methods

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

HasDatatypeInfo CSize

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CSize :: DatatypeInfo

Methods

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

HasDatatypeInfo CWchar

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CWchar :: DatatypeInfo

Methods

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

HasDatatypeInfo CSigAtomic

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CSigAtomic :: DatatypeInfo

Methods

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

HasDatatypeInfo CClock

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CClock :: DatatypeInfo

Methods

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

HasDatatypeInfo CTime

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CTime :: DatatypeInfo

Methods

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

HasDatatypeInfo CUSeconds

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUSeconds :: DatatypeInfo

Methods

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

HasDatatypeInfo CSUSeconds

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CSUSeconds :: DatatypeInfo

Methods

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

HasDatatypeInfo CIntPtr

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CIntPtr :: DatatypeInfo

Methods

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

HasDatatypeInfo CUIntPtr

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUIntPtr :: DatatypeInfo

Methods

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

HasDatatypeInfo CIntMax

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CIntMax :: DatatypeInfo

Methods

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

HasDatatypeInfo CUIntMax

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CUIntMax :: DatatypeInfo

Methods

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

HasDatatypeInfo IOMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf IOMode :: DatatypeInfo

Methods

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

HasDatatypeInfo Lexeme

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Lexeme :: DatatypeInfo

Methods

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

HasDatatypeInfo Number

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Number :: DatatypeInfo

Methods

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

HasDatatypeInfo GeneralCategory

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf GeneralCategory :: DatatypeInfo

Methods

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

HasDatatypeInfo [a]

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf [a] :: DatatypeInfo

Methods

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

HasDatatypeInfo (Maybe a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Maybe a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Complex a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Complex a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Fixed a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Fixed a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (ArgOrder a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (ArgOrder a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (OptDescr a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (OptDescr a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (ArgDescr a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (ArgDescr a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (First a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (First a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Last a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Last a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Dual a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Dual a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Endo a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Endo a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Sum a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Sum a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Product a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Product a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Down a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Down a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (I a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (I a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Either a b)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Either a b) :: DatatypeInfo

Methods

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

HasDatatypeInfo (a, b)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (a, b) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Proxy t)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Proxy t) :: DatatypeInfo

Methods

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

HasDatatypeInfo (a, b, c)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

HasDatatypeInfo (K a b)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (K a b) :: DatatypeInfo

Methods

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

HasDatatypeInfo (a, b, c, d)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

HasDatatypeInfo ((f :.: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

type IsProductType (a :: *) (xs :: [*]) = (Generic a, Code a ~ '[xs])

Constraint that captures that a datatype is a product type, i.e., a type with a single constructor.

It also gives access to the code for the arguments of that constructor.

Since: 0.3.1.0

type IsEnumType (a :: *) = (Generic a, All ((~) '[]) (Code a))

Constraint that captures that a datatype is an enumeration type, i.e., none of the constructors have any arguments.

Since: 0.3.1.0

type IsWrappedType (a :: *) (x :: *) = (Generic a, Code a ~ '['[x]])

Constraint that captures that a datatype is a single-constructor, single-field datatype. This always holds for newtype-defined types, but it can also be true for data-defined types.

The constraint also gives access to the type that is wrapped.

Since: 0.3.1.0

type IsNewtype (a :: *) (x :: *) = (IsWrappedType a x, Coercible a x)

Constraint that captures that a datatype is a newtype. This makes use of the fact that newtypes are always coercible to the type they wrap, whereas datatypes are not.

Since: 0.3.1.0