Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class GDatatypeInfoIsNewtype (dss :: [[Type]]) (info :: DatatypeInfo) (wrapped :: Maybe Type) | dss info -> wrapped Source #
Instances
wrapped ~ ('Nothing :: Maybe Type) => GDatatypeInfoIsNewtype dss info wrapped Source # | |
Defined in Sqel.SOP.HasGeneric | |
wrapped ~ 'Just d => GDatatypeInfoIsNewtype '['[d]] ('Newtype m n c) wrapped Source # | |
Defined in Sqel.SOP.HasGeneric |
class IsNewtype d (wrapped :: Maybe Type) | d -> wrapped Source #
Instances
GDatatypeInfoIsNewtype (GCode d) (GDatatypeInfoOf d) wrapped => IsNewtype (d :: Type) wrapped Source # | |
Defined in Sqel.SOP.HasGeneric |
class GCodeResolves (d :: [[Type]]) (flag :: Bool) | d -> flag Source #
Instances
flag ~ 'False => GCodeResolves d flag Source # | |
Defined in Sqel.SOP.HasGeneric | |
flag ~ 'True => GCodeResolves ('[] :: [[Type]]) flag Source # | |
Defined in Sqel.SOP.HasGeneric | |
flag ~ 'True => GCodeResolves (d ': ds) flag Source # | |
Defined in Sqel.SOP.HasGeneric |
class HasGeneric d (flag :: Bool) | d -> flag Source #
Instances
GCodeResolves (GCode d) flag => HasGeneric (d :: Type) flag Source # | |
Defined in Sqel.SOP.HasGeneric |
class GCodeResolvesNot (d :: [[Type]]) (flag :: Bool) | d -> flag where Source #
Instances
flag ~ 'True => GCodeResolvesNot d flag Source # | |
Defined in Sqel.SOP.HasGeneric | |
flag ~ 'False => GCodeResolvesNot (d ': ds) flag Source # | |
Defined in Sqel.SOP.HasGeneric |
class HasNoGeneric d (flag :: Bool) | d -> flag where Source #
hasNoGeneric :: Bool Source #
Instances
(SingI flag, GCodeResolvesNot (GCode d) flag) => HasNoGeneric (d :: Type) flag Source # | |
Defined in Sqel.SOP.HasGeneric hasNoGeneric :: Bool Source # |