Safe Haskell | None |
---|---|
Language | Haskell2010 |
Generics.SOP.Universe
Description
Codes and interpretations
Synopsis
- type Rep a = SOP I (Code a)
- class All SListI (Code a) => Generic (a :: Type) where
- class Generic a => HasDatatypeInfo a where
- type DatatypeInfoOf a :: DatatypeInfo
- datatypeInfo :: proxy a -> DatatypeInfo (Code a)
- type IsProductType (a :: Type) (xs :: [Type]) = (Generic a, Code a ~ '[xs])
- type ProductCode (a :: Type) = Head (Code a)
- productTypeFrom :: IsProductType a xs => a -> NP I xs
- productTypeTo :: IsProductType a xs => NP I xs -> a
- type IsEnumType (a :: Type) = (Generic a, All ((~) '[]) (Code a))
- enumTypeFrom :: IsEnumType a => a -> NS (K ()) (Code a)
- enumTypeTo :: IsEnumType a => NS (K ()) (Code a) -> a
- type IsWrappedType (a :: Type) (x :: Type) = (Generic a, Code a ~ '['[x]])
- type WrappedCode (a :: Type) = Head (Head (Code a))
- wrappedTypeFrom :: IsWrappedType a x => a -> x
- wrappedTypeTo :: IsWrappedType a x => x -> a
- type IsNewtype (a :: Type) (x :: Type) = (IsWrappedType a x, Coercible a x)
- newtypeFrom :: IsNewtype a x => a -> x
- newtypeTo :: IsNewtype a x => x -> a
Documentation
class All SListI (Code a) => Generic (a :: Type) where Source #
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 -> afrom
.
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
, ...) instanceGeneric
T -- empty instanceHasDatatypeInfo
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 -- derivesHasDatatypeInfo
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]] Source #
The code of a datatype.
This is a list of lists of its components. The outer list contains one element per constructor. The inner list contains one element per constructor argument (field).
Example: The datatype
data Tree = Leaf Int | Node Tree Tree
is supposed to have the following code:
type instance Code (Tree a) = '[ '[ Int ] , '[ Tree, Tree ] ]
Methods
Converts from a value to its structural representation.
Converts from a structural representation back to the original value.
Instances
Generic Bool Source # | |
Generic Ordering Source # | |
Generic RuntimeRep Source # | |
Generic VecCount Source # | |
Generic VecElem Source # | |
Generic R Source # | |
Generic D Source # | |
Generic C Source # | |
Generic S Source # | |
Generic CallStack Source # | |
Generic () Source # | |
Generic Any Source # | |
Generic FFFormat Source # | |
Generic Associativity Source # | |
Defined in Generics.SOP.Instances Associated Types type Code Associativity :: [[Type]] Source # Methods from :: Associativity -> Rep Associativity Source # to :: Rep Associativity -> Associativity Source # | |
Generic DecidedStrictness Source # | |
Defined in Generics.SOP.Instances Associated Types type Code DecidedStrictness :: [[Type]] Source # Methods | |
Generic Fixity Source # | |
Generic SourceStrictness Source # | |
Defined in Generics.SOP.Instances Associated Types type Code SourceStrictness :: [[Type]] Source # Methods from :: SourceStrictness -> Rep SourceStrictness Source # to :: Rep SourceStrictness -> SourceStrictness Source # | |
Generic SourceUnpackedness Source # | |
Defined in Generics.SOP.Instances Associated Types type Code SourceUnpackedness :: [[Type]] Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness Source # | |
Generic Lexeme Source # | |
Generic SrcLoc Source # | |
Generic ConstrRep Source # | |
Generic DataRep Source # | |
Generic Void Source # | |
Generic SpecConstrAnnotation Source # | |
Generic Version Source # | |
Generic All Source # | |
Generic NestedAtomically Source # | |
Generic NoMethodError Source # | |
Generic NonTermination Source # | |
Generic PatternMatchFail Source # | |
Generic RecConError Source # | |
Generic RecSelError Source # | |
Generic RecUpdError Source # | |
Generic TypeError Source # | |
Generic ErrorCall Source # | |
Generic ArithException Source # | |
Generic MaskingState Source # | |
Generic AllocationLimitExceeded Source # | |
Generic ArrayException Source # | |
Generic AssertionFailed Source # | |
Generic AsyncException Source # | |
Generic BlockedIndefinitelyOnMVar Source # | |
Generic BlockedIndefinitelyOnSTM Source # | |
Generic Deadlock Source # | |
Generic IOException Source # | |
Generic GeneralCategory Source # | |
Generic Fixity Source # | |
Generic E0 Source # | |
Generic E1 Source # | |
Generic E12 Source # | |
Generic E2 Source # | |
Generic E3 Source # | |
Generic E6 Source # | |
Generic E9 Source # | |
Generic Errno Source # | |
Generic CInt Source # | |
Generic CChar Source # | |
Generic CClock Source # | |
Generic CDouble Source # | |
Generic CFloat Source # | |
Generic CIntMax Source # | |
Generic CIntPtr Source # | |
Generic CLLong Source # | |
Generic CLong Source # | |
Generic CPtrdiff Source # | |
Generic CSChar Source # | |
Generic CSUSeconds Source # | |
Generic CShort Source # | |
Generic CSigAtomic Source # | |
Generic CSize Source # | |
Generic CTime Source # | |
Generic CUChar Source # | |
Generic CUInt Source # | |
Generic CUIntMax Source # | |
Generic CUIntPtr Source # | |
Generic CULLong Source # | |
Generic CULong Source # | |
Generic CUSeconds Source # | |
Generic CUShort Source # | |
Generic CWchar Source # | |
Generic ByteOrder Source # | |
Generic BlockReason Source # | |
Generic ThreadStatus Source # | |
Generic Location Source # | |
Generic SrcLoc Source # | |
Generic Fingerprint Source # | |
Generic BufferState Source # | |
Generic IODeviceType Source # | |
Generic SeekMode Source # | |
Generic CodingProgress Source # | |
Generic CodingFailureMode Source # | |
Generic ExitCode Source # | |
Generic FixIOException Source # | |
Generic IOErrorType Source # | |
Generic HandlePosn Source # | |
Generic LockMode Source # | |
Generic BufferMode Source # | |
Generic Newline Source # | |
Generic NewlineMode Source # | |
Generic CCFlags Source # | |
Generic ConcFlags Source # | |
Generic DebugFlags Source # | |
Generic DoCostCentres Source # | |
Generic DoHeapProfile Source # | |
Generic DoTrace Source # | |
Generic GCFlags Source # | |
Generic GiveGCStats Source # | |
Generic MiscFlags Source # | |
Generic ParFlags Source # | |
Generic ProfFlags Source # | |
Generic RTSFlags Source # | |
Generic TickyFlags Source # | |
Generic TraceFlags Source # | |
Generic StaticPtrInfo Source # | |
Generic GCDetails Source # | |
Generic RTSStats Source # | |
Generic IOMode Source # | |
Generic FieldFormat Source # | |
Generic FormatAdjustment Source # | |
Generic FormatParse Source # | |
Generic FormatSign Source # | |
Generic Number Source # | |
Generic [a] Source # | |
Generic (Maybe a) Source # | |
Generic (Par1 p) Source # | |
Generic (I a) Source # | |
Generic (Dual a) Source # | |
Generic (Endo a) Source # | |
Generic (Product a) Source # | |
Generic (Sum a) Source # | |
Generic (NonEmpty a) Source # | |
Generic (Down a) Source # | |
Generic (Identity a) Source # | |
Generic (First a) Source # | |
Generic (Last a) Source # | |
Generic (Complex a) Source # | |
Generic (Fixed a) Source # | |
Generic (First a) Source # | |
Generic (Last a) Source # | |
Generic (Max a) Source # | |
Generic (Min a) Source # | |
Generic (Option a) Source # | |
Generic (WrappedMonoid m) Source # | |
Generic (Buffer e) Source # | |
Generic (ArgDescr a) Source # | |
Generic (ArgOrder a) Source # | |
Generic (OptDescr a) Source # | |
Generic (Either a b) Source # | |
Generic (V1 p) Source # | |
Generic (U1 p) Source # | |
Generic (a, b) Source # | |
Generic (Proxy t) Source # | |
Generic (Arg a b) Source # | |
Generic (a, b, c) Source # | |
Generic (K a b) Source # | |
Generic (Const a b) Source # | |
Generic (Alt f a) Source # | |
Generic (BufferCodec from to state) Source # | |
Generic (K1 i c p) Source # | |
Generic ((f :+: g) p) Source # | |
Generic ((f :*: g) p) Source # | |
Generic (a, b, c, d) Source # | |
Generic ((f -.-> g) a) Source # | |
Generic (Product f g a) Source # | |
Generic (Sum f g a) Source # | |
Generic (M1 i c f p) Source # | |
Generic ((f :.: g) p) Source # | |
Generic (a, b, c, d, e) Source # | |
Generic ((f :.: g) p) Source # | |
Generic (Compose f g a) Source # | |
Generic (a, b, c, d, e, f) Source # | |
Generic (a, b, c, d, e, f, g) Source # | |
Generic (a, b, c, d, e, f, g, h) Source # | |
Generic (a, b, c, d, e, f, g, h, i) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source # | |
Defined in Generics.SOP.Instances | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28) Source # | |
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, t29) Source # | |
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]] Source # 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) Source # to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, t29) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, t29) Source # |
class Generic a => HasDatatypeInfo a where Source #
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 Source #
Type-level datatype info
type DatatypeInfoOf a = GDatatypeInfoOf a Source #
Methods
datatypeInfo :: proxy a -> DatatypeInfo (Code a) Source #
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) Source #
Instances
HasDatatypeInfo Bool Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Bool :: DatatypeInfo Source # Methods datatypeInfo :: proxy Bool -> DatatypeInfo (Code Bool) Source # | |
HasDatatypeInfo Ordering Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Ordering :: DatatypeInfo Source # Methods datatypeInfo :: proxy Ordering -> DatatypeInfo (Code Ordering) Source # | |
HasDatatypeInfo RuntimeRep Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RuntimeRep :: DatatypeInfo Source # Methods datatypeInfo :: proxy RuntimeRep -> DatatypeInfo (Code RuntimeRep) Source # | |
HasDatatypeInfo VecCount Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf VecCount :: DatatypeInfo Source # Methods datatypeInfo :: proxy VecCount -> DatatypeInfo (Code VecCount) Source # | |
HasDatatypeInfo VecElem Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf VecElem :: DatatypeInfo Source # Methods datatypeInfo :: proxy VecElem -> DatatypeInfo (Code VecElem) Source # | |
HasDatatypeInfo R Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf R :: DatatypeInfo Source # Methods datatypeInfo :: proxy R -> DatatypeInfo (Code R) Source # | |
HasDatatypeInfo D Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf D :: DatatypeInfo Source # Methods datatypeInfo :: proxy D -> DatatypeInfo (Code D) Source # | |
HasDatatypeInfo C Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf C :: DatatypeInfo Source # Methods datatypeInfo :: proxy C -> DatatypeInfo (Code C) Source # | |
HasDatatypeInfo S Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf S :: DatatypeInfo Source # Methods datatypeInfo :: proxy S -> DatatypeInfo (Code S) Source # | |
HasDatatypeInfo CallStack Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CallStack :: DatatypeInfo Source # Methods datatypeInfo :: proxy CallStack -> DatatypeInfo (Code CallStack) Source # | |
HasDatatypeInfo () Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf () :: DatatypeInfo Source # Methods datatypeInfo :: proxy () -> DatatypeInfo (Code ()) Source # | |
HasDatatypeInfo Any Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Any :: DatatypeInfo Source # Methods datatypeInfo :: proxy Any -> DatatypeInfo (Code Any) Source # | |
HasDatatypeInfo FFFormat Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FFFormat :: DatatypeInfo Source # Methods datatypeInfo :: proxy FFFormat -> DatatypeInfo (Code FFFormat) Source # | |
HasDatatypeInfo Associativity Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Associativity :: DatatypeInfo Source # Methods datatypeInfo :: proxy Associativity -> DatatypeInfo (Code Associativity) Source # | |
HasDatatypeInfo DecidedStrictness Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DecidedStrictness :: DatatypeInfo Source # Methods datatypeInfo :: proxy DecidedStrictness -> DatatypeInfo (Code DecidedStrictness) Source # | |
HasDatatypeInfo Fixity Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Fixity :: DatatypeInfo Source # Methods datatypeInfo :: proxy Fixity -> DatatypeInfo (Code Fixity) Source # | |
HasDatatypeInfo SourceStrictness Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SourceStrictness :: DatatypeInfo Source # Methods datatypeInfo :: proxy SourceStrictness -> DatatypeInfo (Code SourceStrictness) Source # | |
HasDatatypeInfo SourceUnpackedness Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SourceUnpackedness :: DatatypeInfo Source # Methods datatypeInfo :: proxy SourceUnpackedness -> DatatypeInfo (Code SourceUnpackedness) Source # | |
HasDatatypeInfo Lexeme Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Lexeme :: DatatypeInfo Source # Methods datatypeInfo :: proxy Lexeme -> DatatypeInfo (Code Lexeme) Source # | |
HasDatatypeInfo SrcLoc Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SrcLoc :: DatatypeInfo Source # Methods datatypeInfo :: proxy SrcLoc -> DatatypeInfo (Code SrcLoc) Source # | |
HasDatatypeInfo ConstrRep Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ConstrRep :: DatatypeInfo Source # Methods datatypeInfo :: proxy ConstrRep -> DatatypeInfo (Code ConstrRep) Source # | |
HasDatatypeInfo DataRep Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DataRep :: DatatypeInfo Source # Methods datatypeInfo :: proxy DataRep -> DatatypeInfo (Code DataRep) Source # | |
HasDatatypeInfo Void Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Void :: DatatypeInfo Source # Methods datatypeInfo :: proxy Void -> DatatypeInfo (Code Void) Source # | |
HasDatatypeInfo SpecConstrAnnotation Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SpecConstrAnnotation :: DatatypeInfo Source # Methods datatypeInfo :: proxy SpecConstrAnnotation -> DatatypeInfo (Code SpecConstrAnnotation) Source # | |
HasDatatypeInfo Version Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Version :: DatatypeInfo Source # Methods datatypeInfo :: proxy Version -> DatatypeInfo (Code Version) Source # | |
HasDatatypeInfo All Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf All :: DatatypeInfo Source # Methods datatypeInfo :: proxy All -> DatatypeInfo (Code All) Source # | |
HasDatatypeInfo NestedAtomically Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf NestedAtomically :: DatatypeInfo Source # Methods datatypeInfo :: proxy NestedAtomically -> DatatypeInfo (Code NestedAtomically) Source # | |
HasDatatypeInfo NoMethodError Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf NoMethodError :: DatatypeInfo Source # Methods datatypeInfo :: proxy NoMethodError -> DatatypeInfo (Code NoMethodError) Source # | |
HasDatatypeInfo NonTermination Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf NonTermination :: DatatypeInfo Source # Methods datatypeInfo :: proxy NonTermination -> DatatypeInfo (Code NonTermination) Source # | |
HasDatatypeInfo PatternMatchFail Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf PatternMatchFail :: DatatypeInfo Source # Methods datatypeInfo :: proxy PatternMatchFail -> DatatypeInfo (Code PatternMatchFail) Source # | |
HasDatatypeInfo RecConError Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RecConError :: DatatypeInfo Source # Methods datatypeInfo :: proxy RecConError -> DatatypeInfo (Code RecConError) Source # | |
HasDatatypeInfo RecSelError Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RecSelError :: DatatypeInfo Source # Methods datatypeInfo :: proxy RecSelError -> DatatypeInfo (Code RecSelError) Source # | |
HasDatatypeInfo RecUpdError Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RecUpdError :: DatatypeInfo Source # Methods datatypeInfo :: proxy RecUpdError -> DatatypeInfo (Code RecUpdError) Source # | |
HasDatatypeInfo TypeError Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf TypeError :: DatatypeInfo Source # Methods datatypeInfo :: proxy TypeError -> DatatypeInfo (Code TypeError) Source # | |
HasDatatypeInfo ErrorCall Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ErrorCall :: DatatypeInfo Source # Methods datatypeInfo :: proxy ErrorCall -> DatatypeInfo (Code ErrorCall) Source # | |
HasDatatypeInfo ArithException Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ArithException :: DatatypeInfo Source # Methods datatypeInfo :: proxy ArithException -> DatatypeInfo (Code ArithException) Source # | |
HasDatatypeInfo MaskingState Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf MaskingState :: DatatypeInfo Source # Methods datatypeInfo :: proxy MaskingState -> DatatypeInfo (Code MaskingState) Source # | |
HasDatatypeInfo AllocationLimitExceeded Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf AllocationLimitExceeded :: DatatypeInfo Source # Methods datatypeInfo :: proxy AllocationLimitExceeded -> DatatypeInfo (Code AllocationLimitExceeded) Source # | |
HasDatatypeInfo ArrayException Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ArrayException :: DatatypeInfo Source # Methods datatypeInfo :: proxy ArrayException -> DatatypeInfo (Code ArrayException) Source # | |
HasDatatypeInfo AssertionFailed Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf AssertionFailed :: DatatypeInfo Source # Methods datatypeInfo :: proxy AssertionFailed -> DatatypeInfo (Code AssertionFailed) Source # | |
HasDatatypeInfo AsyncException Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf AsyncException :: DatatypeInfo Source # Methods datatypeInfo :: proxy AsyncException -> DatatypeInfo (Code AsyncException) Source # | |
HasDatatypeInfo BlockedIndefinitelyOnMVar Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf BlockedIndefinitelyOnMVar :: DatatypeInfo Source # Methods datatypeInfo :: proxy BlockedIndefinitelyOnMVar -> DatatypeInfo (Code BlockedIndefinitelyOnMVar) Source # | |
HasDatatypeInfo BlockedIndefinitelyOnSTM Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf BlockedIndefinitelyOnSTM :: DatatypeInfo Source # Methods datatypeInfo :: proxy BlockedIndefinitelyOnSTM -> DatatypeInfo (Code BlockedIndefinitelyOnSTM) Source # | |
HasDatatypeInfo Deadlock Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Deadlock :: DatatypeInfo Source # Methods datatypeInfo :: proxy Deadlock -> DatatypeInfo (Code Deadlock) Source # | |
HasDatatypeInfo IOException Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf IOException :: DatatypeInfo Source # Methods datatypeInfo :: proxy IOException -> DatatypeInfo (Code IOException) Source # | |
HasDatatypeInfo GeneralCategory Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf GeneralCategory :: DatatypeInfo Source # Methods datatypeInfo :: proxy GeneralCategory -> DatatypeInfo (Code GeneralCategory) Source # | |
HasDatatypeInfo Fixity Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Fixity :: DatatypeInfo Source # Methods datatypeInfo :: proxy Fixity -> DatatypeInfo (Code Fixity) Source # | |
HasDatatypeInfo E0 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E0 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E0 -> DatatypeInfo (Code E0) Source # | |
HasDatatypeInfo E1 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E1 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E1 -> DatatypeInfo (Code E1) Source # | |
HasDatatypeInfo E12 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E12 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E12 -> DatatypeInfo (Code E12) Source # | |
HasDatatypeInfo E2 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E2 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E2 -> DatatypeInfo (Code E2) Source # | |
HasDatatypeInfo E3 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E3 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E3 -> DatatypeInfo (Code E3) Source # | |
HasDatatypeInfo E6 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E6 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E6 -> DatatypeInfo (Code E6) Source # | |
HasDatatypeInfo E9 Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf E9 :: DatatypeInfo Source # Methods datatypeInfo :: proxy E9 -> DatatypeInfo (Code E9) Source # | |
HasDatatypeInfo Errno Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Errno :: DatatypeInfo Source # Methods datatypeInfo :: proxy Errno -> DatatypeInfo (Code Errno) Source # | |
HasDatatypeInfo CInt Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CInt :: DatatypeInfo Source # Methods datatypeInfo :: proxy CInt -> DatatypeInfo (Code CInt) Source # | |
HasDatatypeInfo CChar Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CChar :: DatatypeInfo Source # Methods datatypeInfo :: proxy CChar -> DatatypeInfo (Code CChar) Source # | |
HasDatatypeInfo CClock Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CClock :: DatatypeInfo Source # Methods datatypeInfo :: proxy CClock -> DatatypeInfo (Code CClock) Source # | |
HasDatatypeInfo CDouble Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CDouble :: DatatypeInfo Source # Methods datatypeInfo :: proxy CDouble -> DatatypeInfo (Code CDouble) Source # | |
HasDatatypeInfo CFloat Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CFloat :: DatatypeInfo Source # Methods datatypeInfo :: proxy CFloat -> DatatypeInfo (Code CFloat) Source # | |
HasDatatypeInfo CIntMax Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CIntMax :: DatatypeInfo Source # Methods datatypeInfo :: proxy CIntMax -> DatatypeInfo (Code CIntMax) Source # | |
HasDatatypeInfo CIntPtr Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CIntPtr :: DatatypeInfo Source # Methods datatypeInfo :: proxy CIntPtr -> DatatypeInfo (Code CIntPtr) Source # | |
HasDatatypeInfo CLLong Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CLLong :: DatatypeInfo Source # Methods datatypeInfo :: proxy CLLong -> DatatypeInfo (Code CLLong) Source # | |
HasDatatypeInfo CLong Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CLong :: DatatypeInfo Source # Methods datatypeInfo :: proxy CLong -> DatatypeInfo (Code CLong) Source # | |
HasDatatypeInfo CPtrdiff Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CPtrdiff :: DatatypeInfo Source # Methods datatypeInfo :: proxy CPtrdiff -> DatatypeInfo (Code CPtrdiff) Source # | |
HasDatatypeInfo CSChar Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CSChar :: DatatypeInfo Source # Methods datatypeInfo :: proxy CSChar -> DatatypeInfo (Code CSChar) Source # | |
HasDatatypeInfo CSUSeconds Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CSUSeconds :: DatatypeInfo Source # Methods datatypeInfo :: proxy CSUSeconds -> DatatypeInfo (Code CSUSeconds) Source # | |
HasDatatypeInfo CShort Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CShort :: DatatypeInfo Source # Methods datatypeInfo :: proxy CShort -> DatatypeInfo (Code CShort) Source # | |
HasDatatypeInfo CSigAtomic Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CSigAtomic :: DatatypeInfo Source # Methods datatypeInfo :: proxy CSigAtomic -> DatatypeInfo (Code CSigAtomic) Source # | |
HasDatatypeInfo CSize Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CSize :: DatatypeInfo Source # Methods datatypeInfo :: proxy CSize -> DatatypeInfo (Code CSize) Source # | |
HasDatatypeInfo CTime Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CTime :: DatatypeInfo Source # Methods datatypeInfo :: proxy CTime -> DatatypeInfo (Code CTime) Source # | |
HasDatatypeInfo CUChar Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUChar :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUChar -> DatatypeInfo (Code CUChar) Source # | |
HasDatatypeInfo CUInt Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUInt :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUInt -> DatatypeInfo (Code CUInt) Source # | |
HasDatatypeInfo CUIntMax Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUIntMax :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUIntMax -> DatatypeInfo (Code CUIntMax) Source # | |
HasDatatypeInfo CUIntPtr Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUIntPtr :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUIntPtr -> DatatypeInfo (Code CUIntPtr) Source # | |
HasDatatypeInfo CULLong Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CULLong :: DatatypeInfo Source # Methods datatypeInfo :: proxy CULLong -> DatatypeInfo (Code CULLong) Source # | |
HasDatatypeInfo CULong Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CULong :: DatatypeInfo Source # Methods datatypeInfo :: proxy CULong -> DatatypeInfo (Code CULong) Source # | |
HasDatatypeInfo CUSeconds Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUSeconds :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUSeconds -> DatatypeInfo (Code CUSeconds) Source # | |
HasDatatypeInfo CUShort Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CUShort :: DatatypeInfo Source # Methods datatypeInfo :: proxy CUShort -> DatatypeInfo (Code CUShort) Source # | |
HasDatatypeInfo CWchar Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CWchar :: DatatypeInfo Source # Methods datatypeInfo :: proxy CWchar -> DatatypeInfo (Code CWchar) Source # | |
HasDatatypeInfo ByteOrder Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ByteOrder :: DatatypeInfo Source # Methods datatypeInfo :: proxy ByteOrder -> DatatypeInfo (Code ByteOrder) Source # | |
HasDatatypeInfo BlockReason Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf BlockReason :: DatatypeInfo Source # Methods datatypeInfo :: proxy BlockReason -> DatatypeInfo (Code BlockReason) Source # | |
HasDatatypeInfo ThreadStatus Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ThreadStatus :: DatatypeInfo Source # Methods datatypeInfo :: proxy ThreadStatus -> DatatypeInfo (Code ThreadStatus) Source # | |
HasDatatypeInfo Location Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Location :: DatatypeInfo Source # Methods datatypeInfo :: proxy Location -> DatatypeInfo (Code Location) Source # | |
HasDatatypeInfo SrcLoc Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SrcLoc :: DatatypeInfo Source # Methods datatypeInfo :: proxy SrcLoc -> DatatypeInfo (Code SrcLoc) Source # | |
HasDatatypeInfo Fingerprint Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Fingerprint :: DatatypeInfo Source # Methods datatypeInfo :: proxy Fingerprint -> DatatypeInfo (Code Fingerprint) Source # | |
HasDatatypeInfo BufferState Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf BufferState :: DatatypeInfo Source # Methods datatypeInfo :: proxy BufferState -> DatatypeInfo (Code BufferState) Source # | |
HasDatatypeInfo IODeviceType Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf IODeviceType :: DatatypeInfo Source # Methods datatypeInfo :: proxy IODeviceType -> DatatypeInfo (Code IODeviceType) Source # | |
HasDatatypeInfo SeekMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf SeekMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy SeekMode -> DatatypeInfo (Code SeekMode) Source # | |
HasDatatypeInfo CodingProgress Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CodingProgress :: DatatypeInfo Source # Methods datatypeInfo :: proxy CodingProgress -> DatatypeInfo (Code CodingProgress) Source # | |
HasDatatypeInfo CodingFailureMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CodingFailureMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy CodingFailureMode -> DatatypeInfo (Code CodingFailureMode) Source # | |
HasDatatypeInfo ExitCode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ExitCode :: DatatypeInfo Source # Methods datatypeInfo :: proxy ExitCode -> DatatypeInfo (Code ExitCode) Source # | |
HasDatatypeInfo FixIOException Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FixIOException :: DatatypeInfo Source # Methods datatypeInfo :: proxy FixIOException -> DatatypeInfo (Code FixIOException) Source # | |
HasDatatypeInfo IOErrorType Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf IOErrorType :: DatatypeInfo Source # Methods datatypeInfo :: proxy IOErrorType -> DatatypeInfo (Code IOErrorType) Source # | |
HasDatatypeInfo HandlePosn Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf HandlePosn :: DatatypeInfo Source # Methods datatypeInfo :: proxy HandlePosn -> DatatypeInfo (Code HandlePosn) Source # | |
HasDatatypeInfo LockMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf LockMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy LockMode -> DatatypeInfo (Code LockMode) Source # | |
HasDatatypeInfo BufferMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf BufferMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy BufferMode -> DatatypeInfo (Code BufferMode) Source # | |
HasDatatypeInfo Newline Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Newline :: DatatypeInfo Source # Methods datatypeInfo :: proxy Newline -> DatatypeInfo (Code Newline) Source # | |
HasDatatypeInfo NewlineMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf NewlineMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy NewlineMode -> DatatypeInfo (Code NewlineMode) Source # | |
HasDatatypeInfo CCFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf CCFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy CCFlags -> DatatypeInfo (Code CCFlags) Source # | |
HasDatatypeInfo ConcFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ConcFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy ConcFlags -> DatatypeInfo (Code ConcFlags) Source # | |
HasDatatypeInfo DebugFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DebugFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy DebugFlags -> DatatypeInfo (Code DebugFlags) Source # | |
HasDatatypeInfo DoCostCentres Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DoCostCentres :: DatatypeInfo Source # Methods datatypeInfo :: proxy DoCostCentres -> DatatypeInfo (Code DoCostCentres) Source # | |
HasDatatypeInfo DoHeapProfile Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DoHeapProfile :: DatatypeInfo Source # Methods datatypeInfo :: proxy DoHeapProfile -> DatatypeInfo (Code DoHeapProfile) Source # | |
HasDatatypeInfo DoTrace Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf DoTrace :: DatatypeInfo Source # Methods datatypeInfo :: proxy DoTrace -> DatatypeInfo (Code DoTrace) Source # | |
HasDatatypeInfo GCFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf GCFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy GCFlags -> DatatypeInfo (Code GCFlags) Source # | |
HasDatatypeInfo GiveGCStats Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf GiveGCStats :: DatatypeInfo Source # Methods datatypeInfo :: proxy GiveGCStats -> DatatypeInfo (Code GiveGCStats) Source # | |
HasDatatypeInfo MiscFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf MiscFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy MiscFlags -> DatatypeInfo (Code MiscFlags) Source # | |
HasDatatypeInfo ParFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ParFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy ParFlags -> DatatypeInfo (Code ParFlags) Source # | |
HasDatatypeInfo ProfFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ProfFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy ProfFlags -> DatatypeInfo (Code ProfFlags) Source # | |
HasDatatypeInfo RTSFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RTSFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy RTSFlags -> DatatypeInfo (Code RTSFlags) Source # | |
HasDatatypeInfo TickyFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf TickyFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy TickyFlags -> DatatypeInfo (Code TickyFlags) Source # | |
HasDatatypeInfo TraceFlags Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf TraceFlags :: DatatypeInfo Source # Methods datatypeInfo :: proxy TraceFlags -> DatatypeInfo (Code TraceFlags) Source # | |
HasDatatypeInfo StaticPtrInfo Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf StaticPtrInfo :: DatatypeInfo Source # Methods datatypeInfo :: proxy StaticPtrInfo -> DatatypeInfo (Code StaticPtrInfo) Source # | |
HasDatatypeInfo GCDetails Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf GCDetails :: DatatypeInfo Source # Methods datatypeInfo :: proxy GCDetails -> DatatypeInfo (Code GCDetails) Source # | |
HasDatatypeInfo RTSStats Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf RTSStats :: DatatypeInfo Source # Methods datatypeInfo :: proxy RTSStats -> DatatypeInfo (Code RTSStats) Source # | |
HasDatatypeInfo IOMode Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf IOMode :: DatatypeInfo Source # Methods datatypeInfo :: proxy IOMode -> DatatypeInfo (Code IOMode) Source # | |
HasDatatypeInfo FieldFormat Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FieldFormat :: DatatypeInfo Source # Methods datatypeInfo :: proxy FieldFormat -> DatatypeInfo (Code FieldFormat) Source # | |
HasDatatypeInfo FormatAdjustment Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FormatAdjustment :: DatatypeInfo Source # Methods datatypeInfo :: proxy FormatAdjustment -> DatatypeInfo (Code FormatAdjustment) Source # | |
HasDatatypeInfo FormatParse Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FormatParse :: DatatypeInfo Source # Methods datatypeInfo :: proxy FormatParse -> DatatypeInfo (Code FormatParse) Source # | |
HasDatatypeInfo FormatSign Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf FormatSign :: DatatypeInfo Source # Methods datatypeInfo :: proxy FormatSign -> DatatypeInfo (Code FormatSign) Source # | |
HasDatatypeInfo Number Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf Number :: DatatypeInfo Source # Methods datatypeInfo :: proxy Number -> DatatypeInfo (Code Number) Source # | |
HasDatatypeInfo [a] Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf [a] :: DatatypeInfo Source # Methods datatypeInfo :: proxy [a] -> DatatypeInfo (Code [a]) Source # | |
HasDatatypeInfo (Maybe a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Maybe a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Maybe a) -> DatatypeInfo (Code (Maybe a)) Source # | |
HasDatatypeInfo (Par1 p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Par1 p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Par1 p) -> DatatypeInfo (Code (Par1 p)) Source # | |
HasDatatypeInfo (I a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (I a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (I a) -> DatatypeInfo (Code (I a)) Source # | |
HasDatatypeInfo (Dual a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Dual a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Dual a) -> DatatypeInfo (Code (Dual a)) Source # | |
HasDatatypeInfo (Endo a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Endo a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Endo a) -> DatatypeInfo (Code (Endo a)) Source # | |
HasDatatypeInfo (Product a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Product a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Product a) -> DatatypeInfo (Code (Product a)) Source # | |
HasDatatypeInfo (Sum a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Sum a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Sum a) -> DatatypeInfo (Code (Sum a)) Source # | |
HasDatatypeInfo (NonEmpty a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (NonEmpty a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (NonEmpty a) -> DatatypeInfo (Code (NonEmpty a)) Source # | |
HasDatatypeInfo (Down a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Down a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Down a) -> DatatypeInfo (Code (Down a)) Source # | |
HasDatatypeInfo (Identity a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Identity a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Identity a) -> DatatypeInfo (Code (Identity a)) Source # | |
HasDatatypeInfo (First a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (First a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (First a) -> DatatypeInfo (Code (First a)) Source # | |
HasDatatypeInfo (Last a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Last a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Last a) -> DatatypeInfo (Code (Last a)) Source # | |
HasDatatypeInfo (Complex a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Complex a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Complex a) -> DatatypeInfo (Code (Complex a)) Source # | |
HasDatatypeInfo (Fixed a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Fixed a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Fixed a) -> DatatypeInfo (Code (Fixed a)) Source # | |
HasDatatypeInfo (First a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (First a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (First a) -> DatatypeInfo (Code (First a)) Source # | |
HasDatatypeInfo (Last a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Last a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Last a) -> DatatypeInfo (Code (Last a)) Source # | |
HasDatatypeInfo (Max a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Max a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Max a) -> DatatypeInfo (Code (Max a)) Source # | |
HasDatatypeInfo (Min a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Min a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Min a) -> DatatypeInfo (Code (Min a)) Source # | |
HasDatatypeInfo (Option a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Option a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Option a) -> DatatypeInfo (Code (Option a)) Source # | |
HasDatatypeInfo (WrappedMonoid m) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (WrappedMonoid m) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (WrappedMonoid m) -> DatatypeInfo (Code (WrappedMonoid m)) Source # | |
HasDatatypeInfo (Buffer e) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Buffer e) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Buffer e) -> DatatypeInfo (Code (Buffer e)) Source # | |
HasDatatypeInfo (ArgDescr a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (ArgDescr a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (ArgDescr a) -> DatatypeInfo (Code (ArgDescr a)) Source # | |
HasDatatypeInfo (ArgOrder a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (ArgOrder a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (ArgOrder a) -> DatatypeInfo (Code (ArgOrder a)) Source # | |
HasDatatypeInfo (OptDescr a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (OptDescr a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (OptDescr a) -> DatatypeInfo (Code (OptDescr a)) Source # | |
HasDatatypeInfo (Either a b) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Either a b) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Either a b) -> DatatypeInfo (Code (Either a b)) Source # | |
HasDatatypeInfo (V1 p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (V1 p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (V1 p) -> DatatypeInfo (Code (V1 p)) Source # | |
HasDatatypeInfo (U1 p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (U1 p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (U1 p) -> DatatypeInfo (Code (U1 p)) Source # | |
HasDatatypeInfo (a, b) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b) -> DatatypeInfo (Code (a, b)) Source # | |
HasDatatypeInfo (Proxy t) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Proxy t) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Proxy t) -> DatatypeInfo (Code (Proxy t)) Source # | |
HasDatatypeInfo (Arg a b) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Arg a b) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Arg a b) -> DatatypeInfo (Code (Arg a b)) Source # | |
HasDatatypeInfo (a, b, c) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c) -> DatatypeInfo (Code (a, b, c)) Source # | |
HasDatatypeInfo (K a b) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (K a b) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (K a b) -> DatatypeInfo (Code (K a b)) Source # | |
HasDatatypeInfo (Const a b) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Const a b) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Const a b) -> DatatypeInfo (Code (Const a b)) Source # | |
HasDatatypeInfo (Alt f a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Alt f a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Alt f a) -> DatatypeInfo (Code (Alt f a)) Source # | |
HasDatatypeInfo (BufferCodec from to state) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (BufferCodec from to state) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (BufferCodec from to state) -> DatatypeInfo (Code (BufferCodec from to state)) Source # | |
HasDatatypeInfo (K1 i c p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (K1 i c p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (K1 i c p) -> DatatypeInfo (Code (K1 i c p)) Source # | |
HasDatatypeInfo ((f :+: g) p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ((f :+: g) p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy ((f :+: g) p) -> DatatypeInfo (Code ((f :+: g) p)) Source # | |
HasDatatypeInfo ((f :*: g) p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ((f :*: g) p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy ((f :*: g) p) -> DatatypeInfo (Code ((f :*: g) p)) Source # | |
HasDatatypeInfo (a, b, c, d) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d) -> DatatypeInfo (Code (a, b, c, d)) Source # | |
HasDatatypeInfo ((f -.-> g) a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ((f -.-> g) a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy ((f -.-> g) a) -> DatatypeInfo (Code ((f -.-> g) a)) Source # | |
HasDatatypeInfo (Product f g a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Product f g a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Product f g a) -> DatatypeInfo (Code (Product f g a)) Source # | |
HasDatatypeInfo (Sum f g a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Sum f g a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Sum f g a) -> DatatypeInfo (Code (Sum f g a)) Source # | |
HasDatatypeInfo (M1 i c f p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (M1 i c f p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (M1 i c f p) -> DatatypeInfo (Code (M1 i c f p)) Source # | |
HasDatatypeInfo ((f :.: g) p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ((f :.: g) p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy ((f :.: g) p) -> DatatypeInfo (Code ((f :.: g) p)) Source # | |
HasDatatypeInfo (a, b, c, d, e) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d, e) -> DatatypeInfo (Code (a, b, c, d, e)) Source # | |
HasDatatypeInfo ((f :.: g) p) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf ((f :.: g) p) :: DatatypeInfo Source # Methods datatypeInfo :: proxy ((f :.: g) p) -> DatatypeInfo (Code ((f :.: g) p)) Source # | |
HasDatatypeInfo (Compose f g a) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (Compose f g a) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (Compose f g a) -> DatatypeInfo (Code (Compose f g a)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d, e, f) -> DatatypeInfo (Code (a, b, c, d, e, f)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d, e, f, g) -> DatatypeInfo (Code (a, b, c, d, e, f, g)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d, e, f, g, h) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i) :: DatatypeInfo Source # Methods datatypeInfo :: proxy (a, b, c, d, e, f, g, h, i) -> DatatypeInfo (Code (a, b, c, d, e, f, g, h, i)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j) :: DatatypeInfo Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k) :: DatatypeInfo Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l) :: DatatypeInfo Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m) :: DatatypeInfo Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source # | |
Defined in Generics.SOP.Instances Associated Types type DatatypeInfoOf (a, b, c, d, e, f, g, h, i, j, k, l, m, n) :: DatatypeInfo Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28) Source # | |
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 Source # 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)) Source # | |
HasDatatypeInfo (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26, t27, t28, t29) Source # | |
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 Source # 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)) Source # |
type IsProductType (a :: Type) (xs :: [Type]) = (Generic a, Code a ~ '[xs]) Source #
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) Source #
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 Source #
Convert from a product type to its product representation.
Since: 0.4.0.0
productTypeTo :: IsProductType a xs => NP I xs -> a Source #
Convert a product representation to the original type.
Since: 0.4.0.0
type IsEnumType (a :: Type) = (Generic a, All ((~) '[]) (Code a)) Source #
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) Source #
Convert from an enum type to its sum representation.
Since: 0.4.0.0
enumTypeTo :: IsEnumType a => NS (K ()) (Code a) -> a Source #
Convert a sum representation to ihe original type.
type IsWrappedType (a :: Type) (x :: Type) = (Generic a, Code a ~ '['[x]]) Source #
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)) Source #
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 Source #
Convert from a wrapped type to its inner type.
Since: 0.4.0.0
wrappedTypeTo :: IsWrappedType a x => x -> a Source #
Convert a type to a wrapped type.
Since: 0.4.0.0
type IsNewtype (a :: Type) (x :: Type) = (IsWrappedType a x, Coercible a x) Source #
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 Source #
Convert a newtype to its inner type.
This is a specialised synonym for coerce
.
Since: 0.4.0.0