Lorentz.Arith

Type families from Arith lifted to Haskell types.

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)

Lifted AithOp.

Associated Types

type ArithResHs aop n m :: Type

Instances

(n ~ m, CompareOpHs n) => ArithOpHs Compare n m

Defined in Lorentz.Arith

Associated Types

type ArithResHs Compare n m :: Type

ArithOpHs Lsr Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Lsr Natural Natural :: Type

ArithOpHs Lsl Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Lsl Natural Natural :: Type

ArithOpHs Xor Bool Bool

Defined in Lorentz.Arith

Associated Types

type ArithResHs Xor Bool Bool :: Type

ArithOpHs Xor Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Xor Natural Natural :: Type

ArithOpHs And Bool Bool

Defined in Lorentz.Arith

Associated Types

type ArithResHs And Bool Bool :: Type

ArithOpHs And Integer Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs And Integer Natural :: Type

ArithOpHs And Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs And Natural Natural :: Type

ArithOpHs Or Bool Bool

Defined in Lorentz.Arith

Associated Types

type ArithResHs Or Bool Bool :: Type

ArithOpHs Or Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Or Natural Natural :: Type

ArithOpHs Mul Integer Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Integer Integer :: Type

ArithOpHs Mul Integer Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Integer Natural :: Type

ArithOpHs Mul Natural Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Natural Integer :: Type

ArithOpHs Mul Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Natural Natural :: Type

ArithOpHs Mul Natural Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Natural Mutez :: Type

ArithOpHs Mul Mutez Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Mul Mutez Natural :: Type

ArithOpHs Sub Integer Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Integer Integer :: Type

ArithOpHs Sub Integer Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Integer Natural :: Type

ArithOpHs Sub Natural Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Natural Integer :: Type

ArithOpHs Sub Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Natural Natural :: Type

ArithOpHs Sub Timestamp Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Timestamp Integer :: Type

ArithOpHs Sub Timestamp Timestamp

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Timestamp Timestamp :: Type

ArithOpHs Sub Mutez Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Sub Mutez Mutez :: Type

ArithOpHs Add Integer Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Integer Integer :: Type

ArithOpHs Add Integer Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Integer Natural :: Type

ArithOpHs Add Integer Timestamp

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Integer Timestamp :: Type

ArithOpHs Add Natural Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Natural Integer :: Type

ArithOpHs Add Natural Natural

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Natural Natural :: Type

ArithOpHs Add Timestamp Integer

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Timestamp Integer :: Type

ArithOpHs Add Mutez Mutez

Defined in Lorentz.Arith

Associated Types

type ArithResHs Add Mutez Mutez :: Type

class (Typeable (ToCT n), IsComparable n, CompareOp (ToCT n)) => CompareOpHs n

Instances

CompareOpHs Bool

Defined in Lorentz.Arith

CompareOpHs Integer

Defined in Lorentz.Arith

CompareOpHs Natural

Defined in Lorentz.Arith

CompareOpHs ByteString

Defined in Lorentz.Arith

CompareOpHs MText

Defined in Lorentz.Arith

CompareOpHs KeyHash

Defined in Lorentz.Arith

CompareOpHs Timestamp

Defined in Lorentz.Arith

CompareOpHs Mutez

Defined in Lorentz.Arith

CompareOpHs Address

Defined in Lorentz.Arith

CompareOpHs EpAddress

Defined in Lorentz.Arith

class (UnaryArithOp aop (ToCT n), IsComparable n, Typeable (ToCT n), ToT (UnaryArithResHs aop n) ~ Tc (UnaryArithRes aop (ToCT n))) => UnaryArithOpHs (aop :: Type) (n :: Type)

Lifted UnaryAithOp.

Associated Types

type UnaryArithResHs aop n :: Type

Instances

UnaryArithOpHs Ge Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Ge Integer :: Type

UnaryArithOpHs Le Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Le Integer :: Type

UnaryArithOpHs Gt Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Gt Integer :: Type

UnaryArithOpHs Lt Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Lt Integer :: Type

UnaryArithOpHs Neq Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Neq Integer :: Type

UnaryArithOpHs Eq' Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Eq' Integer :: Type

UnaryArithOpHs Not Bool

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Not Bool :: Type

UnaryArithOpHs Not Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Not Integer :: Type

UnaryArithOpHs Not Natural

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Not Natural :: Type

UnaryArithOpHs Neg Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Neg Integer :: Type

UnaryArithOpHs Neg Natural

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Neg Natural :: Type

UnaryArithOpHs Abs Integer

Defined in Lorentz.Arith

Associated Types

type UnaryArithResHs Abs Integer :: Type