rel8-internal
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rel8.Internal.Kind.Algebra

Documentation

data Algebra Source #

Constructors

Product 
Sum 

data SAlgebra (algebra :: Algebra) where Source #

Constructors

SProduct :: SAlgebra 'Product 
SSum :: SAlgebra 'Sum 

class KnownAlgebra (algebra :: Algebra) where Source #

Methods

algebraSing :: SAlgebra algebra Source #

Instances

Instances details
KnownAlgebra 'Product Source # 
Instance details

Defined in Rel8.Internal.Kind.Algebra

Methods

algebraSing :: SAlgebra 'Product Source #

KnownAlgebra 'Sum Source # 
Instance details

Defined in Rel8.Internal.Kind.Algebra

Methods

algebraSing :: SAlgebra 'Sum Source #