Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- data BinaryNumeric
- data BinaryBoolean
- data Side
- data FunctionLift = FunctionLift
Documentation
data BinaryNumeric Source #
data BinaryBoolean Source #
Oh, Either...
(ActsK k2 lr act a b za, SemigroupK * k1 ao a zas, SemigroupK * k bo b zbs) => ActorLinearK * k * k1 k2 Side lr act ao a bo b (ActorLinear_Acts_Semigroup_Semigroup za zas zbs) Source # | |
(ActsK k1 lr act a b za, SemigroupK * k bo b zbs) => ActeeLinearK * k * k1 Side lr act a bo b (ActeeLinear_Acts_Semigroup za zbs) Source # | |
data FunctionLift Source #
MagmaK k op a s => MagmaK k op (i -> a) (MagmaTagged FunctionLift s) Source # | |
CancellativeK k op a s => CancellativeK k op (i -> a) (CancellativeTagged FunctionLift s) Source # | |