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 :: Type) 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 a 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.

Minimal complete definition

Nothing

Associated Types

type Code a :: [[Type]]

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 ]
   ]

type Code a = GCode a

Methods

from :: a -> Rep a

Converts from a value to its structural representation.

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

to :: Rep a -> a

Converts from a structural representation back to the original value.

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

Instances

Generic Bool

Defined in Generics.SOP.Instances

Associated Types

type Code Bool :: [[Type]]

Methods

from :: Bool -> Rep Bool

to :: Rep Bool -> Bool

Generic Ordering

Defined in Generics.SOP.Instances

Associated Types

type Code Ordering :: [[Type]]

Methods

from :: Ordering -> Rep Ordering

to :: Rep Ordering -> Ordering

Generic RuntimeRep

Defined in Generics.SOP.Instances

Associated Types

type Code RuntimeRep :: [[Type]]

Methods

from :: RuntimeRep -> Rep RuntimeRep

to :: Rep RuntimeRep -> RuntimeRep

Generic VecCount

Defined in Generics.SOP.Instances

Associated Types

type Code VecCount :: [[Type]]

Methods

from :: VecCount -> Rep VecCount

to :: Rep VecCount -> VecCount

Generic VecElem

Defined in Generics.SOP.Instances

Associated Types

type Code VecElem :: [[Type]]

Methods

from :: VecElem -> Rep VecElem

to :: Rep VecElem -> VecElem

Generic R

Defined in Generics.SOP.Instances

Associated Types

type Code R :: [[Type]]

Methods

from :: R -> Rep R

to :: Rep R -> R

Generic D

Defined in Generics.SOP.Instances

Associated Types

type Code D :: [[Type]]

Methods

from :: D -> Rep D

to :: Rep D -> D

Generic C

Defined in Generics.SOP.Instances

Associated Types

type Code C :: [[Type]]

Methods

from :: C -> Rep C

to :: Rep C -> C

Generic S

Defined in Generics.SOP.Instances

Associated Types

type Code S :: [[Type]]

Methods

from :: S -> Rep S

to :: Rep S -> S

Generic CallStack

Defined in Generics.SOP.Instances

Associated Types

type Code CallStack :: [[Type]]

Methods

from :: CallStack -> Rep CallStack

to :: Rep CallStack -> CallStack

Generic ()

Defined in Generics.SOP.Instances

Associated Types

type Code () :: [[Type]]

Methods

from :: () -> Rep ()

to :: Rep () -> ()

Generic E0

Defined in Generics.SOP.Instances

Associated Types

type Code E0 :: [[Type]]

Methods

from :: E0 -> Rep E0

to :: Rep E0 -> E0

Generic E1

Defined in Generics.SOP.Instances

Associated Types

type Code E1 :: [[Type]]

Methods

from :: E1 -> Rep E1

to :: Rep E1 -> E1

Generic E2

Defined in Generics.SOP.Instances

Associated Types

type Code E2 :: [[Type]]

Methods

from :: E2 -> Rep E2

to :: Rep E2 -> E2

Generic E3

Defined in Generics.SOP.Instances

Associated Types

type Code E3 :: [[Type]]

Methods

from :: E3 -> Rep E3

to :: Rep E3 -> E3

Generic E6

Defined in Generics.SOP.Instances

Associated Types

type Code E6 :: [[Type]]

Methods

from :: E6 -> Rep E6

to :: Rep E6 -> E6

Generic E9

Defined in Generics.SOP.Instances

Associated Types

type Code E9 :: [[Type]]

Methods

from :: E9 -> Rep E9

to :: Rep E9 -> E9

Generic E12

Defined in Generics.SOP.Instances

Associated Types

type Code E12 :: [[Type]]

Methods

from :: E12 -> Rep E12

to :: Rep E12 -> E12

Generic Void

Defined in Generics.SOP.Instances

Associated Types

type Code Void :: [[Type]]

Methods

from :: Void -> Rep Void

to :: Rep Void -> Void

Generic SpecConstrAnnotation

Defined in Generics.SOP.Instances

Associated Types

type Code SpecConstrAnnotation :: [[Type]]

Methods

from :: SpecConstrAnnotation -> Rep SpecConstrAnnotation

to :: Rep SpecConstrAnnotation -> SpecConstrAnnotation

Generic DataRep

Defined in Generics.SOP.Instances

Associated Types

type Code DataRep :: [[Type]]

Methods

from :: DataRep -> Rep DataRep

to :: Rep DataRep -> DataRep

Generic ConstrRep

Defined in Generics.SOP.Instances

Associated Types

type Code ConstrRep :: [[Type]]

Methods

from :: ConstrRep -> Rep ConstrRep

to :: Rep ConstrRep -> ConstrRep

Generic Fixity

Defined in Generics.SOP.Instances

Associated Types

type Code Fixity :: [[Type]]

Methods

from :: Fixity -> Rep Fixity

to :: Rep Fixity -> Fixity

Generic SrcLoc

Defined in Generics.SOP.Instances

Associated Types

type Code SrcLoc :: [[Type]]

Methods

from :: SrcLoc -> Rep SrcLoc

to :: Rep SrcLoc -> SrcLoc

Generic Location

Defined in Generics.SOP.Instances

Associated Types

type Code Location :: [[Type]]

Methods

from :: Location -> Rep Location

to :: Rep Location -> Location

Generic GiveGCStats

Defined in Generics.SOP.Instances

Associated Types

type Code GiveGCStats :: [[Type]]

Methods

from :: GiveGCStats -> Rep GiveGCStats

to :: Rep GiveGCStats -> GiveGCStats

Generic GCFlags

Defined in Generics.SOP.Instances

Associated Types

type Code GCFlags :: [[Type]]

Methods

from :: GCFlags -> Rep GCFlags

to :: Rep GCFlags -> GCFlags

Generic ConcFlags

Defined in Generics.SOP.Instances

Associated Types

type Code ConcFlags :: [[Type]]

Methods

from :: ConcFlags -> Rep ConcFlags

to :: Rep ConcFlags -> ConcFlags

Generic MiscFlags

Defined in Generics.SOP.Instances

Associated Types

type Code MiscFlags :: [[Type]]

Methods

from :: MiscFlags -> Rep MiscFlags

to :: Rep MiscFlags -> MiscFlags

Generic DebugFlags

Defined in Generics.SOP.Instances

Associated Types

type Code DebugFlags :: [[Type]]

Methods

from :: DebugFlags -> Rep DebugFlags

to :: Rep DebugFlags -> DebugFlags

Generic DoCostCentres

Defined in Generics.SOP.Instances

Associated Types

type Code DoCostCentres :: [[Type]]

Methods

from :: DoCostCentres -> Rep DoCostCentres

to :: Rep DoCostCentres -> DoCostCentres

Generic CCFlags

Defined in Generics.SOP.Instances

Associated Types

type Code CCFlags :: [[Type]]

Methods

from :: CCFlags -> Rep CCFlags

to :: Rep CCFlags -> CCFlags

Generic DoHeapProfile

Defined in Generics.SOP.Instances

Associated Types

type Code DoHeapProfile :: [[Type]]

Methods

from :: DoHeapProfile -> Rep DoHeapProfile

to :: Rep DoHeapProfile -> DoHeapProfile

Generic ProfFlags

Defined in Generics.SOP.Instances

Associated Types

type Code ProfFlags :: [[Type]]

Methods

from :: ProfFlags -> Rep ProfFlags

to :: Rep ProfFlags -> ProfFlags

Generic DoTrace

Defined in Generics.SOP.Instances

Associated Types

type Code DoTrace :: [[Type]]

Methods

from :: DoTrace -> Rep DoTrace

to :: Rep DoTrace -> DoTrace

Generic TraceFlags

Defined in Generics.SOP.Instances

Associated Types

type Code TraceFlags :: [[Type]]

Methods

from :: TraceFlags -> Rep TraceFlags

to :: Rep TraceFlags -> TraceFlags

Generic TickyFlags

Defined in Generics.SOP.Instances

Associated Types

type Code TickyFlags :: [[Type]]

Methods

from :: TickyFlags -> Rep TickyFlags

to :: Rep TickyFlags -> TickyFlags

Generic ParFlags

Defined in Generics.SOP.Instances

Associated Types

type Code ParFlags :: [[Type]]

Methods

from :: ParFlags -> Rep ParFlags

to :: Rep ParFlags -> ParFlags

Generic RTSFlags

Defined in Generics.SOP.Instances

Associated Types

type Code RTSFlags :: [[Type]]

Methods

from :: RTSFlags -> Rep RTSFlags

to :: Rep RTSFlags -> RTSFlags

Generic RTSStats

Defined in Generics.SOP.Instances

Associated Types

type Code RTSStats :: [[Type]]

Methods

from :: RTSStats -> Rep RTSStats

to :: Rep RTSStats -> RTSStats

Generic GCDetails

Defined in Generics.SOP.Instances

Associated Types

type Code GCDetails :: [[Type]]

Methods

from :: GCDetails -> Rep GCDetails

to :: Rep GCDetails -> GCDetails

Generic ByteOrder

Defined in Generics.SOP.Instances

Associated Types

type Code ByteOrder :: [[Type]]

Methods

from :: ByteOrder -> Rep ByteOrder

to :: Rep ByteOrder -> ByteOrder

Generic StaticPtrInfo

Defined in Generics.SOP.Instances

Associated Types

type Code StaticPtrInfo :: [[Type]]

Methods

from :: StaticPtrInfo -> Rep StaticPtrInfo

to :: Rep StaticPtrInfo -> StaticPtrInfo

Generic FormatAdjustment

Defined in Generics.SOP.Instances

Associated Types

type Code FormatAdjustment :: [[Type]]

Methods

from :: FormatAdjustment -> Rep FormatAdjustment

to :: Rep FormatAdjustment -> FormatAdjustment

Generic FormatSign

Defined in Generics.SOP.Instances

Associated Types

type Code FormatSign :: [[Type]]

Methods

from :: FormatSign -> Rep FormatSign

to :: Rep FormatSign -> FormatSign

Generic FieldFormat

Defined in Generics.SOP.Instances

Associated Types

type Code FieldFormat :: [[Type]]

Methods

from :: FieldFormat -> Rep FieldFormat

to :: Rep FieldFormat -> FieldFormat

Generic FormatParse

Defined in Generics.SOP.Instances

Associated Types

type Code FormatParse :: [[Type]]

Methods

from :: FormatParse -> Rep FormatParse

to :: Rep FormatParse -> FormatParse

Generic Version

Defined in Generics.SOP.Instances

Associated Types

type Code Version :: [[Type]]

Methods

from :: Version -> Rep Version

to :: Rep Version -> Version

Generic HandlePosn

Defined in Generics.SOP.Instances

Associated Types

type Code HandlePosn :: [[Type]]

Methods

from :: HandlePosn -> Rep HandlePosn

to :: Rep HandlePosn -> HandlePosn

Generic PatternMatchFail

Defined in Generics.SOP.Instances

Associated Types

type Code PatternMatchFail :: [[Type]]

Methods

from :: PatternMatchFail -> Rep PatternMatchFail

to :: Rep PatternMatchFail -> PatternMatchFail

Generic RecSelError

Defined in Generics.SOP.Instances

Associated Types

type Code RecSelError :: [[Type]]

Methods

from :: RecSelError -> Rep RecSelError

to :: Rep RecSelError -> RecSelError

Generic RecConError

Defined in Generics.SOP.Instances

Associated Types

type Code RecConError :: [[Type]]

Methods

from :: RecConError -> Rep RecConError

to :: Rep RecConError -> RecConError

Generic RecUpdError

Defined in Generics.SOP.Instances

Associated Types

type Code RecUpdError :: [[Type]]

Methods

from :: RecUpdError -> Rep RecUpdError

to :: Rep RecUpdError -> RecUpdError

Generic NoMethodError

Defined in Generics.SOP.Instances

Associated Types

type Code NoMethodError :: [[Type]]

Methods

from :: NoMethodError -> Rep NoMethodError

to :: Rep NoMethodError -> NoMethodError

Generic TypeError

Defined in Generics.SOP.Instances

Associated Types

type Code TypeError :: [[Type]]

Methods

from :: TypeError -> Rep TypeError

to :: Rep TypeError -> TypeError

Generic NonTermination

Defined in Generics.SOP.Instances

Associated Types

type Code NonTermination :: [[Type]]

Methods

from :: NonTermination -> Rep NonTermination

to :: Rep NonTermination -> NonTermination

Generic NestedAtomically

Defined in Generics.SOP.Instances

Associated Types

type Code NestedAtomically :: [[Type]]

Methods

from :: NestedAtomically -> Rep NestedAtomically

to :: Rep NestedAtomically -> NestedAtomically

Generic BlockReason

Defined in Generics.SOP.Instances

Associated Types

type Code BlockReason :: [[Type]]

Methods

from :: BlockReason -> Rep BlockReason

to :: Rep BlockReason -> BlockReason

Generic ThreadStatus

Defined in Generics.SOP.Instances

Associated Types

type Code ThreadStatus :: [[Type]]

Methods

from :: ThreadStatus -> Rep ThreadStatus

to :: Rep ThreadStatus -> ThreadStatus

Generic Errno

Defined in Generics.SOP.Instances

Associated Types

type Code Errno :: [[Type]]

Methods

from :: Errno -> Rep Errno

to :: Rep Errno -> Errno

Generic CodingFailureMode

Defined in Generics.SOP.Instances

Associated Types

type Code CodingFailureMode :: [[Type]]

Methods

from :: CodingFailureMode -> Rep CodingFailureMode

to :: Rep CodingFailureMode -> CodingFailureMode

Generic BlockedIndefinitelyOnMVar

Defined in Generics.SOP.Instances

Associated Types

type Code BlockedIndefinitelyOnMVar :: [[Type]]

Methods

from :: BlockedIndefinitelyOnMVar -> Rep BlockedIndefinitelyOnMVar

to :: Rep BlockedIndefinitelyOnMVar -> BlockedIndefinitelyOnMVar

Generic BlockedIndefinitelyOnSTM

Defined in Generics.SOP.Instances

Associated Types

type Code BlockedIndefinitelyOnSTM :: [[Type]]

Methods

from :: BlockedIndefinitelyOnSTM -> Rep BlockedIndefinitelyOnSTM

to :: Rep BlockedIndefinitelyOnSTM -> BlockedIndefinitelyOnSTM

Generic Deadlock

Defined in Generics.SOP.Instances

Associated Types

type Code Deadlock :: [[Type]]

Methods

from :: Deadlock -> Rep Deadlock

to :: Rep Deadlock -> Deadlock

Generic AllocationLimitExceeded

Defined in Generics.SOP.Instances

Associated Types

type Code AllocationLimitExceeded :: [[Type]]

Methods

from :: AllocationLimitExceeded -> Rep AllocationLimitExceeded

to :: Rep AllocationLimitExceeded -> AllocationLimitExceeded

Generic AssertionFailed

Defined in Generics.SOP.Instances

Associated Types

type Code AssertionFailed :: [[Type]]

Methods

from :: AssertionFailed -> Rep AssertionFailed

to :: Rep AssertionFailed -> AssertionFailed

Generic AsyncException

Defined in Generics.SOP.Instances

Associated Types

type Code AsyncException :: [[Type]]

Methods

from :: AsyncException -> Rep AsyncException

to :: Rep AsyncException -> AsyncException

Generic ArrayException

Defined in Generics.SOP.Instances

Associated Types

type Code ArrayException :: [[Type]]

Methods

from :: ArrayException -> Rep ArrayException

to :: Rep ArrayException -> ArrayException

Generic FixIOException

Defined in Generics.SOP.Instances

Associated Types

type Code FixIOException :: [[Type]]

Methods

from :: FixIOException -> Rep FixIOException

to :: Rep FixIOException -> FixIOException

Generic ExitCode

Defined in Generics.SOP.Instances

Associated Types

type Code ExitCode :: [[Type]]

Methods

from :: ExitCode -> Rep ExitCode

to :: Rep ExitCode -> ExitCode

Generic IOErrorType

Defined in Generics.SOP.Instances

Associated Types

type Code IOErrorType :: [[Type]]

Methods

from :: IOErrorType -> Rep IOErrorType

to :: Rep IOErrorType -> IOErrorType

Generic BufferMode

Defined in Generics.SOP.Instances

Associated Types

type Code BufferMode :: [[Type]]

Methods

from :: BufferMode -> Rep BufferMode

to :: Rep BufferMode -> BufferMode

Generic Newline

Defined in Generics.SOP.Instances

Associated Types

type Code Newline :: [[Type]]

Methods

from :: Newline -> Rep Newline

to :: Rep Newline -> Newline

Generic NewlineMode

Defined in Generics.SOP.Instances

Associated Types

type Code NewlineMode :: [[Type]]

Methods

from :: NewlineMode -> Rep NewlineMode

to :: Rep NewlineMode -> NewlineMode

Generic IODeviceType

Defined in Generics.SOP.Instances

Associated Types

type Code IODeviceType :: [[Type]]

Methods

from :: IODeviceType -> Rep IODeviceType

to :: Rep IODeviceType -> IODeviceType

Generic SeekMode

Defined in Generics.SOP.Instances

Associated Types

type Code SeekMode :: [[Type]]

Methods

from :: SeekMode -> Rep SeekMode

to :: Rep SeekMode -> SeekMode

Generic CodingProgress

Defined in Generics.SOP.Instances

Associated Types

type Code CodingProgress :: [[Type]]

Methods

from :: CodingProgress -> Rep CodingProgress

to :: Rep CodingProgress -> CodingProgress

Generic BufferState

Defined in Generics.SOP.Instances

Associated Types

type Code BufferState :: [[Type]]

Methods

from :: BufferState -> Rep BufferState

to :: Rep BufferState -> BufferState

Generic MaskingState

Defined in Generics.SOP.Instances

Associated Types

type Code MaskingState :: [[Type]]

Methods

from :: MaskingState -> Rep MaskingState

to :: Rep MaskingState -> MaskingState

Generic IOException

Defined in Generics.SOP.Instances

Associated Types

type Code IOException :: [[Type]]

Methods

from :: IOException -> Rep IOException

to :: Rep IOException -> IOException

Generic LockMode

Defined in Generics.SOP.Instances

Associated Types

type Code LockMode :: [[Type]]

Methods

from :: LockMode -> Rep LockMode

to :: Rep LockMode -> LockMode

Generic ErrorCall

Defined in Generics.SOP.Instances

Associated Types

type Code ErrorCall :: [[Type]]

Methods

from :: ErrorCall -> Rep ErrorCall

to :: Rep ErrorCall -> ErrorCall

Generic ArithException

Defined in Generics.SOP.Instances

Associated Types

type Code ArithException :: [[Type]]

Methods

from :: ArithException -> Rep ArithException

to :: Rep ArithException -> ArithException

Generic All

Defined in Generics.SOP.Instances

Associated Types

type Code All :: [[Type]]

Methods

from :: All -> Rep All

to :: Rep All -> All

Generic Any

Defined in Generics.SOP.Instances

Associated Types

type Code Any :: [[Type]]

Methods

from :: Any -> Rep Any

to :: Rep Any -> Any

Generic Fixity

Defined in Generics.SOP.Instances

Associated Types

type Code Fixity :: [[Type]]

Methods

from :: Fixity -> Rep Fixity

to :: Rep Fixity -> Fixity

Generic Associativity

Defined in Generics.SOP.Instances

Associated Types

type Code Associativity :: [[Type]]

Methods

from :: Associativity -> Rep Associativity

to :: Rep Associativity -> Associativity

Generic SourceUnpackedness

Defined in Generics.SOP.Instances

Associated Types

type Code SourceUnpackedness :: [[Type]]

Methods

from :: SourceUnpackedness -> Rep SourceUnpackedness

to :: Rep SourceUnpackedness -> SourceUnpackedness

Generic SourceStrictness

Defined in Generics.SOP.Instances

Associated Types

type Code SourceStrictness :: [[Type]]

Methods

from :: SourceStrictness -> Rep SourceStrictness

to :: Rep SourceStrictness -> SourceStrictness

Generic DecidedStrictness

Defined in Generics.SOP.Instances

Associated Types

type Code DecidedStrictness :: [[Type]]

Methods

from :: DecidedStrictness -> Rep DecidedStrictness

to :: Rep DecidedStrictness -> DecidedStrictness

Generic CChar

Defined in Generics.SOP.Instances

Associated Types

type Code CChar :: [[Type]]

Methods

from :: CChar -> Rep CChar

to :: Rep CChar -> CChar

Generic CSChar

Defined in Generics.SOP.Instances

Associated Types

type Code CSChar :: [[Type]]

Methods

from :: CSChar -> Rep CSChar

to :: Rep CSChar -> CSChar

Generic CUChar

Defined in Generics.SOP.Instances

Associated Types

type Code CUChar :: [[Type]]

Methods

from :: CUChar -> Rep CUChar

to :: Rep CUChar -> CUChar

Generic CShort

Defined in Generics.SOP.Instances

Associated Types

type Code CShort :: [[Type]]

Methods

from :: CShort -> Rep CShort

to :: Rep CShort -> CShort

Generic CUShort

Defined in Generics.SOP.Instances

Associated Types

type Code CUShort :: [[Type]]

Methods

from :: CUShort -> Rep CUShort

to :: Rep CUShort -> CUShort

Generic CInt

Defined in Generics.SOP.Instances

Associated Types

type Code CInt :: [[Type]]

Methods

from :: CInt -> Rep CInt

to :: Rep CInt -> CInt

Generic CUInt

Defined in Generics.SOP.Instances

Associated Types

type Code CUInt :: [[Type]]

Methods

from :: CUInt -> Rep CUInt

to :: Rep CUInt -> CUInt

Generic CLong

Defined in Generics.SOP.Instances

Associated Types

type Code CLong :: [[Type]]

Methods

from :: CLong -> Rep CLong

to :: Rep CLong -> CLong

Generic CULong

Defined in Generics.SOP.Instances

Associated Types

type Code CULong :: [[Type]]

Methods

from :: CULong -> Rep CULong

to :: Rep CULong -> CULong

Generic CLLong

Defined in Generics.SOP.Instances

Associated Types

type Code CLLong :: [[Type]]

Methods

from :: CLLong -> Rep CLLong

to :: Rep CLLong -> CLLong

Generic CULLong

Defined in Generics.SOP.Instances

Associated Types

type Code CULLong :: [[Type]]

Methods

from :: CULLong -> Rep CULLong

to :: Rep CULLong -> CULLong

Generic CFloat

Defined in Generics.SOP.Instances

Associated Types

type Code CFloat :: [[Type]]

Methods

from :: CFloat -> Rep CFloat

to :: Rep CFloat -> CFloat

Generic CDouble

Defined in Generics.SOP.Instances

Associated Types

type Code CDouble :: [[Type]]

Methods

from :: CDouble -> Rep CDouble

to :: Rep CDouble -> CDouble

Generic CPtrdiff

Defined in Generics.SOP.Instances

Associated Types

type Code CPtrdiff :: [[Type]]

Methods

from :: CPtrdiff -> Rep CPtrdiff

to :: Rep CPtrdiff -> CPtrdiff

Generic CSize

Defined in Generics.SOP.Instances

Associated Types

type Code CSize :: [[Type]]

Methods

from :: CSize -> Rep CSize

to :: Rep CSize -> CSize

Generic CWchar

Defined in Generics.SOP.Instances

Associated Types

type Code CWchar :: [[Type]]

Methods

from :: CWchar -> Rep CWchar

to :: Rep CWchar -> CWchar

Generic CSigAtomic

Defined in Generics.SOP.Instances

Associated Types

type Code CSigAtomic :: [[Type]]

Methods

from :: CSigAtomic -> Rep CSigAtomic

to :: Rep CSigAtomic -> CSigAtomic

Generic CClock

Defined in Generics.SOP.Instances

Associated Types

type Code CClock :: [[Type]]

Methods

from :: CClock -> Rep CClock

to :: Rep CClock -> CClock

Generic CTime

Defined in Generics.SOP.Instances

Associated Types

type Code CTime :: [[Type]]

Methods

from :: CTime -> Rep CTime

to :: Rep CTime -> CTime

Generic CUSeconds

Defined in Generics.SOP.Instances

Associated Types

type Code CUSeconds :: [[Type]]

Methods

from :: CUSeconds -> Rep CUSeconds

to :: Rep CUSeconds -> CUSeconds

Generic CSUSeconds

Defined in Generics.SOP.Instances

Associated Types

type Code CSUSeconds :: [[Type]]

Methods

from :: CSUSeconds -> Rep CSUSeconds

to :: Rep CSUSeconds -> CSUSeconds

Generic CIntPtr

Defined in Generics.SOP.Instances

Associated Types

type Code CIntPtr :: [[Type]]

Methods

from :: CIntPtr -> Rep CIntPtr

to :: Rep CIntPtr -> CIntPtr

Generic CUIntPtr

Defined in Generics.SOP.Instances

Associated Types

type Code CUIntPtr :: [[Type]]

Methods

from :: CUIntPtr -> Rep CUIntPtr

to :: Rep CUIntPtr -> CUIntPtr

Generic CIntMax

Defined in Generics.SOP.Instances

Associated Types

type Code CIntMax :: [[Type]]

Methods

from :: CIntMax -> Rep CIntMax

to :: Rep CIntMax -> CIntMax

Generic CUIntMax

Defined in Generics.SOP.Instances

Associated Types

type Code CUIntMax :: [[Type]]

Methods

from :: CUIntMax -> Rep CUIntMax

to :: Rep CUIntMax -> CUIntMax

Generic IOMode

Defined in Generics.SOP.Instances

Associated Types

type Code IOMode :: [[Type]]

Methods

from :: IOMode -> Rep IOMode

to :: Rep IOMode -> IOMode

Generic Fingerprint

Defined in Generics.SOP.Instances

Associated Types

type Code Fingerprint :: [[Type]]

Methods

from :: Fingerprint -> Rep Fingerprint

to :: Rep Fingerprint -> Fingerprint

Generic Lexeme

Defined in Generics.SOP.Instances

Associated Types

type Code Lexeme :: [[Type]]

Methods

from :: Lexeme -> Rep Lexeme

to :: Rep Lexeme -> Lexeme

Generic Number

Defined in Generics.SOP.Instances

Associated Types

type Code Number :: [[Type]]

Methods

from :: Number -> Rep Number

to :: Rep Number -> Number

Generic FFFormat

Defined in Generics.SOP.Instances

Associated Types

type Code FFFormat :: [[Type]]

Methods

from :: FFFormat -> Rep FFFormat

to :: Rep FFFormat -> FFFormat

Generic GeneralCategory

Defined in Generics.SOP.Instances

Associated Types

type Code GeneralCategory :: [[Type]]

Methods

from :: GeneralCategory -> Rep GeneralCategory

to :: Rep GeneralCategory -> GeneralCategory

Generic SrcLoc

Defined in Generics.SOP.Instances

Associated Types

type Code SrcLoc :: [[Type]]

Methods

from :: SrcLoc -> Rep SrcLoc

to :: Rep SrcLoc -> SrcLoc

Generic [a]

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Maybe a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Par1 p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Complex a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Min a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Max a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (First a)

Defined in Generics.SOP.Instances

Associated Types

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

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

Methods

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

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

Generic (WrappedMonoid m)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Option a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (ArgOrder a)

Defined in Generics.SOP.Instances

Associated Types

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

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

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

Methods

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

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

Generic (Identity a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Buffer e)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (First a)

Defined in Generics.SOP.Instances

Associated Types

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

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

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

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

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

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

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

Methods

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

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

Generic (NonEmpty a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (I a)

Defined in Generics.SOP.Instances

Associated Types

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

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

Methods

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

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

Generic (V1 p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (U1 p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (a, b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Fixed a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Arg a b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Proxy t)

Defined in Generics.SOP.Instances

Associated Types

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

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

Methods

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

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

Generic (BufferCodec from to state)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Const a b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Alt f a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (K a b)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (K1 i c p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic ((f :+: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic ((f :*: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (a, b, c, d)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Product f g a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Sum f g a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (M1 i c f p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic ((f :.: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic (Compose f g a)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

Generic ((f :.: g) p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

class Generic a => 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.

Minimal complete definition

Nothing

Associated Types

type DatatypeInfoOf a :: DatatypeInfo

Type-level datatype info

type DatatypeInfoOf a = GDatatypeInfoOf a

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.

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

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 RuntimeRep

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RuntimeRep :: DatatypeInfo

Methods

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

HasDatatypeInfo VecCount

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf VecCount :: DatatypeInfo

Methods

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

HasDatatypeInfo VecElem

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf VecElem :: DatatypeInfo

Methods

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

HasDatatypeInfo R

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf R :: DatatypeInfo

Methods

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

HasDatatypeInfo D

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf D :: DatatypeInfo

Methods

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

HasDatatypeInfo C

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf C :: DatatypeInfo

Methods

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

HasDatatypeInfo S

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf S :: DatatypeInfo

Methods

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

HasDatatypeInfo CallStack

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CallStack :: DatatypeInfo

Methods

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

HasDatatypeInfo ()

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf () :: DatatypeInfo

Methods

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

HasDatatypeInfo E0

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E0 :: DatatypeInfo

Methods

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

HasDatatypeInfo E1

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E1 :: DatatypeInfo

Methods

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

HasDatatypeInfo E2

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E2 :: DatatypeInfo

Methods

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

HasDatatypeInfo E3

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E3 :: DatatypeInfo

Methods

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

HasDatatypeInfo E6

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E6 :: DatatypeInfo

Methods

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

HasDatatypeInfo E9

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E9 :: DatatypeInfo

Methods

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

HasDatatypeInfo E12

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf E12 :: DatatypeInfo

Methods

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

HasDatatypeInfo Void

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Void :: DatatypeInfo

Methods

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

HasDatatypeInfo SpecConstrAnnotation

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SpecConstrAnnotation :: DatatypeInfo

Methods

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

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 SrcLoc

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SrcLoc :: DatatypeInfo

Methods

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

HasDatatypeInfo Location

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Location :: DatatypeInfo

Methods

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

HasDatatypeInfo GiveGCStats

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf GiveGCStats :: DatatypeInfo

Methods

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

HasDatatypeInfo GCFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf GCFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo ConcFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ConcFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo MiscFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf MiscFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo DebugFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DebugFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo DoCostCentres

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DoCostCentres :: DatatypeInfo

Methods

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

HasDatatypeInfo CCFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CCFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo DoHeapProfile

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DoHeapProfile :: DatatypeInfo

Methods

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

HasDatatypeInfo ProfFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ProfFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo DoTrace

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DoTrace :: DatatypeInfo

Methods

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

HasDatatypeInfo TraceFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf TraceFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo TickyFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf TickyFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo ParFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ParFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo RTSFlags

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RTSFlags :: DatatypeInfo

Methods

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

HasDatatypeInfo RTSStats

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf RTSStats :: DatatypeInfo

Methods

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

HasDatatypeInfo GCDetails

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf GCDetails :: DatatypeInfo

Methods

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

HasDatatypeInfo ByteOrder

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ByteOrder :: DatatypeInfo

Methods

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

HasDatatypeInfo StaticPtrInfo

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf StaticPtrInfo :: DatatypeInfo

Methods

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

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 HandlePosn

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf HandlePosn :: DatatypeInfo

Methods

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

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 TypeError

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf TypeError :: DatatypeInfo

Methods

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

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 BlockReason

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf BlockReason :: DatatypeInfo

Methods

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

HasDatatypeInfo ThreadStatus

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ThreadStatus :: DatatypeInfo

Methods

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

HasDatatypeInfo Errno

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Errno :: DatatypeInfo

Methods

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

HasDatatypeInfo CodingFailureMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CodingFailureMode :: DatatypeInfo

Methods

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

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 AllocationLimitExceeded

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf AllocationLimitExceeded :: DatatypeInfo

Methods

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

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 FixIOException

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FixIOException :: DatatypeInfo

Methods

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

HasDatatypeInfo ExitCode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf ExitCode :: DatatypeInfo

Methods

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

HasDatatypeInfo IOErrorType

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf IOErrorType :: DatatypeInfo

Methods

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

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 IODeviceType

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf IODeviceType :: DatatypeInfo

Methods

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

HasDatatypeInfo SeekMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SeekMode :: DatatypeInfo

Methods

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

HasDatatypeInfo CodingProgress

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf CodingProgress :: DatatypeInfo

Methods

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

HasDatatypeInfo BufferState

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf BufferState :: DatatypeInfo

Methods

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

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 LockMode

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf LockMode :: DatatypeInfo

Methods

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

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 Fixity

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Fixity :: DatatypeInfo

Methods

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

HasDatatypeInfo Associativity

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Associativity :: DatatypeInfo

Methods

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

HasDatatypeInfo SourceUnpackedness

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SourceUnpackedness :: DatatypeInfo

Methods

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

HasDatatypeInfo SourceStrictness

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SourceStrictness :: DatatypeInfo

Methods

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

HasDatatypeInfo DecidedStrictness

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf DecidedStrictness :: DatatypeInfo

Methods

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

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 Fingerprint

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf Fingerprint :: DatatypeInfo

Methods

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

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 FFFormat

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf FFFormat :: DatatypeInfo

Methods

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

HasDatatypeInfo GeneralCategory

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf GeneralCategory :: DatatypeInfo

Methods

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

HasDatatypeInfo SrcLoc

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf SrcLoc :: DatatypeInfo

Methods

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

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 (Par1 p)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Par1 p) :: DatatypeInfo

Methods

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

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 (Min a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Min a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Max a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Max a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Max a) -> DatatypeInfo (Code (Max 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 (WrappedMonoid m)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (WrappedMonoid m) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Option a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Option a) :: DatatypeInfo

Methods

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

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Identity a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Buffer e)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Buffer e) :: DatatypeInfo

Methods

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

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 (NonEmpty a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (NonEmpty a) :: DatatypeInfo

Methods

datatypeInfo :: proxy (NonEmpty a) -> DatatypeInfo (Code (NonEmpty 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 (V1 p)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (V1 p) :: DatatypeInfo

Methods

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

HasDatatypeInfo (U1 p)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (U1 p) :: DatatypeInfo

Methods

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

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 (Fixed a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Fixed a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Arg a b)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Arg a b) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Arg a b) -> DatatypeInfo (Code (Arg 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 (BufferCodec from to state)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (BufferCodec from to state) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Const a b)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Const a b) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Alt f a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Alt f a) :: DatatypeInfo

Methods

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

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 (K1 i c p)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (K1 i c p) :: DatatypeInfo

Methods

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

HasDatatypeInfo ((f :+: g) p)

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

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 (Product f g a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Product f g a) :: DatatypeInfo

Methods

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

HasDatatypeInfo (Sum f g a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Sum f g a) :: DatatypeInfo

Methods

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

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

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

HasDatatypeInfo (M1 i c f p)

Defined in Generics.SOP.Instances

Associated Types

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

Methods

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

HasDatatypeInfo ((f :.: g) p)

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)

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 (Compose f g a)

Defined in Generics.SOP.Instances

Associated Types

type DatatypeInfoOf (Compose f g a) :: DatatypeInfo

Methods

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

HasDatatypeInfo ((f :.: g) p)

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 :: Type) (xs :: [Type]) = (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 ProductCode (a :: Type) = Head (Code a)

Direct access to the part of the code that is relevant for a product type.

Since: 0.4.0.0

productTypeFrom :: IsProductType a xs => a -> NP I xs

Convert from a product type to its product representation.

Since: 0.4.0.0

productTypeTo :: IsProductType a xs => NP I xs -> a

Convert a product representation to the original type.

Since: 0.4.0.0

type IsEnumType (a :: Type) = (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

enumTypeFrom :: IsEnumType a => a -> NS (K ()) (Code a)

Convert from an enum type to its sum representation.

Since: 0.4.0.0

enumTypeTo :: IsEnumType a => NS (K ()) (Code a) -> a

Convert a sum representation to ihe original type.

type IsWrappedType (a :: Type) (x :: Type) = (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 WrappedCode (a :: Type) = Head (Head (Code a))

Direct access to the part of the code that is relevant for wrapped types and newtypes.

Since: 0.4.0.0

wrappedTypeFrom :: IsWrappedType a x => a -> x

Convert from a wrapped type to its inner type.

Since: 0.4.0.0

wrappedTypeTo :: IsWrappedType a x => x -> a

Convert a type to a wrapped type.

Since: 0.4.0.0

type IsNewtype (a :: Type) (x :: Type) = (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

newtypeFrom :: IsNewtype a x => a -> x

Convert a newtype to its inner type.

This is a specialised synonym for coerce.

Since: 0.4.0.0

newtypeTo :: IsNewtype a x => x -> a

Convert a type to a newtype.

This is a specialised synonym for coerce.

Since: 0.4.0.0