Safe Haskell | None |
---|---|
Language | Haskell2010 |
Type families from Arith
lifted to Haskell types.
Synopsis
- class (ArithOp aop (ToCT n) (ToCT m), IsComparable n, IsComparable m, Typeable (ToCT n), Typeable (ToCT m), ToT (ArithResHs aop n m) ~ Tc (ArithRes aop (ToCT n) (ToCT m))) => ArithOpHs (aop :: Type) (n :: Type) (m :: Type) where
- type ArithResHs aop n m :: Type
- class (UnaryArithOp aop (ToCT n), IsComparable n, Typeable (ToCT n), ToT (UnaryArithResHs aop n) ~ Tc (UnaryArithRes aop (ToCT n))) => UnaryArithOpHs (aop :: Type) (n :: Type) where
- type UnaryArithResHs aop n :: Type
Documentation
class (ArithOp aop (ToCT n) (ToCT m), IsComparable n, IsComparable m, Typeable (ToCT n), Typeable (ToCT m), ToT (ArithResHs aop n m) ~ Tc (ArithRes aop (ToCT n) (ToCT m))) => ArithOpHs (aop :: Type) (n :: Type) (m :: Type) Source #
Lifted AithOp
.
type ArithResHs aop n m :: Type Source #
Instances
class (UnaryArithOp aop (ToCT n), IsComparable n, Typeable (ToCT n), ToT (UnaryArithResHs aop n) ~ Tc (UnaryArithRes aop (ToCT n))) => UnaryArithOpHs (aop :: Type) (n :: Type) Source #
Lifted UnaryAithOp
.
type UnaryArithResHs aop n :: Type Source #
Instances
UnaryArithOpHs Ge Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Le Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Gt Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Lt Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Neq Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Eq' Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Not Bool Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Not Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Not Natural Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Neg Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Neg Natural Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Abs Integer Source # | |
Defined in Lorentz.Arith |