Demo package:generics-sop

class DemoteAssociativity (a :: Associativity)
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level associativity information from type-level associativity information.
class DemoteConstructorInfo (x :: ConstructorInfo) (xs :: [Type])
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level constructor information from type-level constructor information.
class DemoteConstructorInfos (cs :: [ConstructorInfo]) (xss :: [[Type]])
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level constructor information from type-level constructor information.
class DemoteDatatypeInfo (x :: DatatypeInfo) (xss :: [[Type]])
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level datatype information from type-level datatype information.
class DemoteDecidedStrictness (a :: DecidedStrictness)
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level decided strictness information from type-level decided strictness information.
class DemoteFieldInfo (x :: FieldInfo) (a :: Type)
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level field information from type-level field information.
class SListI xs => DemoteFieldInfos (fs :: [FieldInfo]) (xs :: [Type])
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level field information from type-level field information.
class DemoteSourceStrictness (a :: SourceStrictness)
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level source strictness information from type-level source strictness information.
class DemoteSourceUnpackedness (a :: SourceUnpackedness)
generics-sop Generics.SOP.Type.Metadata
Class for computing term-level source unpackedness information from type-level source unpackedness information.
class DemoteStrictnessInfo (s :: StrictnessInfo) (x :: Type)
generics-sop Generics.SOP.Type.Metadata
class DemoteStrictnessInfos (ss :: [StrictnessInfo]) (xs :: [Type])
generics-sop Generics.SOP.Type.Metadata
class DemoteStrictnessInfoss (sss :: [[StrictnessInfo]]) (xss :: [[Type]])
generics-sop Generics.SOP.Type.Metadata
demoteAssociativity :: DemoteAssociativity a => proxy a -> Associativity
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level associativity information, return the corresponding term-level information.
demoteConstructorInfo :: DemoteConstructorInfo x xs => proxy x -> ConstructorInfo xs
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level constructor information, return the corresponding term-level information.
demoteConstructorInfos :: DemoteConstructorInfos cs xss => proxy cs -> NP ConstructorInfo xss
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level constructor information, return the corresponding term-level information as a product.
demoteDatatypeInfo :: DemoteDatatypeInfo x xss => proxy x -> DatatypeInfo xss
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level datatype information, return the corresponding term-level information.
demoteDecidedStrictness :: DemoteDecidedStrictness a => proxy a -> DecidedStrictness
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level source strictness information, return the corresponding term-level information.
demoteFieldInfo :: DemoteFieldInfo x a => proxy x -> FieldInfo a
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level field information, return the corresponding term-level information.
demoteFieldInfos :: DemoteFieldInfos fs xs => proxy fs -> NP FieldInfo xs
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level field information, return the corresponding term-level information as a product.
demoteSourceStrictness :: DemoteSourceStrictness a => proxy a -> SourceStrictness
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level source strictness information, return the corresponding term-level information.
demoteSourceUnpackedness :: DemoteSourceUnpackedness a => proxy a -> SourceUnpackedness
generics-sop Generics.SOP.Type.Metadata
Given a proxy of some type-level source unpackedness information, return the corresponding term-level information.
demoteStrictnessInfo :: DemoteStrictnessInfo s x => proxy s -> StrictnessInfo x
generics-sop Generics.SOP.Type.Metadata
demoteStrictnessInfos :: DemoteStrictnessInfos ss xs => proxy ss -> NP StrictnessInfo xs
generics-sop Generics.SOP.Type.Metadata
demoteStrictnessInfoss :: DemoteStrictnessInfoss sss xss => proxy sss -> NP (NP StrictnessInfo) xss
generics-sop Generics.SOP.Type.Metadata