Safe Haskell	Safe-Inferred
Language	Haskell2010

Sqel.SOP.HasGeneric

Documentation

class GDatatypeInfoIsNewtype (dss :: [[Type]]) (info :: DatatypeInfo) (wrapped :: Maybe Type) | dss info -> wrapped Source #

Instances details

wrapped ~ ('Nothing :: Maybe Type) => GDatatypeInfoIsNewtype dss info wrapped Source #
Instance details Defined in Sqel.SOP.HasGeneric
wrapped ~ 'Just d => GDatatypeInfoIsNewtype '['[d]] ('Newtype m n c) wrapped Source #
Instance details Defined in Sqel.SOP.HasGeneric

class IsNewtype d (wrapped :: Maybe Type) | d -> wrapped Source #

Instances details

GDatatypeInfoIsNewtype (GCode d) (GDatatypeInfoOf d) wrapped => IsNewtype (d :: Type) wrapped Source #
Instance details Defined in Sqel.SOP.HasGeneric

class GCodeResolves (d :: [[Type]]) (flag :: Bool) | d -> flag Source #

Instances details

flag ~ 'False => GCodeResolves d flag Source #
Instance details Defined in Sqel.SOP.HasGeneric
flag ~ 'True => GCodeResolves ('[] :: [[Type]]) flag Source #
Instance details Defined in Sqel.SOP.HasGeneric
flag ~ 'True => GCodeResolves (d ': ds) flag Source #
Instance details Defined in Sqel.SOP.HasGeneric

class HasGeneric d (flag :: Bool) | d -> flag Source #

Instances details

GCodeResolves (GCode d) flag => HasGeneric (d :: Type) flag Source #
Instance details Defined in Sqel.SOP.HasGeneric

class GCodeResolvesNot (d :: [[Type]]) (flag :: Bool) | d -> flag where Source #

Methods

Instances details

flag ~ 'True => GCodeResolvesNot d flag Source #
Instance details Defined in Sqel.SOP.HasGeneric Methods gcodeResolvesNot :: Bool Source #
flag ~ 'False => GCodeResolvesNot (d ': ds) flag Source #
Instance details Defined in Sqel.SOP.HasGeneric Methods gcodeResolvesNot :: Bool Source #

class HasNoGeneric d (flag :: Bool) | d -> flag where Source #

Methods

Instances details

(SingI flag, GCodeResolvesNot (GCode d) flag) => HasNoGeneric (d :: Type) flag Source #
Instance details Defined in Sqel.SOP.HasGeneric Methods hasNoGeneric :: Bool Source #