Safe Haskell	None
Language	Haskell2010

Michelson.Typed.Arith

Description

Module, containing some boilerplate for support of arithmetic operations in Michelson language.

Synopsis

class ArithOp aop (n :: CT) (m :: CT) where
- type ArithRes aop n m :: CT
- evalOp :: proxy aop -> CValue n -> CValue m -> Either (ArithError (CValue n) (CValue m)) (CValue (ArithRes aop n m))
class UnaryArithOp aop (n :: CT) where
- type UnaryArithRes aop n :: CT
- evalUnaryArithOp :: proxy aop -> CValue n -> CValue (UnaryArithRes aop n)
data ArithError n m
- = MutezArithError ArithErrorType n m
- | ShiftArithError ArithErrorType n m
data ArithErrorType
- = AddOverflow
- | MulOverflow
- | SubUnderflow
- | LslOverflow
- | LsrUnderflow
data Add
data Sub
data Mul
data Abs
data Neg
data Or
data And
data Xor
data Not
data Lsl
data Lsr
data Compare
data Eq'
data Neq
data Lt
data Gt
data Le
data Ge
compareOp :: forall t i. (Comparable t, SingI t) => Value' i t -> Value' i t -> Integer

Documentation

class ArithOp aop (n :: CT) (m :: CT) where Source #

Class for binary arithmetic operation.

Takes binary operation marker as op parameter, types of left operand n and right operand m.

Associated Types

type ArithRes aop n m :: CT Source #

Type family ArithRes denotes the type resulting from computing operation op from operands of types n and m.

For instance, adding integer to natural produces integer, which is reflected in following instance of type family: ArithRes Add CNat CInt = CInt.

Methods

evalOp :: proxy aop -> CValue n -> CValue m -> Either (ArithError (CValue n) (CValue m)) (CValue (ArithRes aop n m)) Source #

Evaluate arithmetic operation on given operands.

Instances

ArithOp Lsr CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Lsr CNat CNat :: CT Source # Methods evalOp :: proxy Lsr -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsr CNat CNat)) Source #
ArithOp Lsl CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Lsl CNat CNat :: CT Source # Methods evalOp :: proxy Lsl -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsl CNat CNat)) Source #
ArithOp Xor CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Xor CNat CNat :: CT Source # Methods evalOp :: proxy Xor -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Xor CNat CNat)) Source #
ArithOp Xor CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Xor CBool CBool :: CT Source # Methods evalOp :: proxy Xor -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Xor CBool CBool)) Source #
ArithOp And CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CInt CNat :: CT Source # Methods evalOp :: proxy And -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes And CInt CNat)) Source #
ArithOp And CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CNat CNat :: CT Source # Methods evalOp :: proxy And -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes And CNat CNat)) Source #
ArithOp And CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CBool CBool :: CT Source # Methods evalOp :: proxy And -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes And CBool CBool)) Source #
ArithOp Or CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Or CNat CNat :: CT Source # Methods evalOp :: proxy Or -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Or CNat CNat)) Source #
ArithOp Or CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Or CBool CBool :: CT Source # Methods evalOp :: proxy Or -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Or CBool CBool)) Source #
ArithOp Mul CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CInt CInt :: CT Source # Methods evalOp :: proxy Mul -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Mul CInt CInt)) Source #
ArithOp Mul CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CInt CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Mul CInt CNat)) Source #
ArithOp Mul CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CInt :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Mul CNat CInt)) Source #
ArithOp Mul CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Mul CNat CNat)) Source #
ArithOp Mul CNat CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CMutez :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CMutez -> Either (ArithError (CValue CNat) (CValue CMutez)) (CValue (ArithRes Mul CNat CMutez)) Source #
ArithOp Mul CMutez CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CMutez CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CMutez -> CValue CNat -> Either (ArithError (CValue CMutez) (CValue CNat)) (CValue (ArithRes Mul CMutez CNat)) Source #
ArithOp Sub CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CInt CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Sub CInt CInt)) Source #
ArithOp Sub CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CInt CNat :: CT Source # Methods evalOp :: proxy Sub -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Sub CInt CNat)) Source #
ArithOp Sub CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CNat CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Sub CNat CInt)) Source #
ArithOp Sub CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CNat CNat :: CT Source # Methods evalOp :: proxy Sub -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Sub CNat CNat)) Source #
ArithOp Sub CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CMutez CMutez :: CT Source # Methods evalOp :: proxy Sub -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Sub CMutez CMutez)) Source #
ArithOp Sub CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CTimestamp CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Sub CTimestamp CInt)) Source #
ArithOp Sub CTimestamp CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CTimestamp CTimestamp :: CT Source # Methods evalOp :: proxy Sub -> CValue CTimestamp -> CValue CTimestamp -> Either (ArithError (CValue CTimestamp) (CValue CTimestamp)) (CValue (ArithRes Sub CTimestamp CTimestamp)) Source #
ArithOp Add CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Add CInt CInt)) Source #
ArithOp Add CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CNat :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Add CInt CNat)) Source #
ArithOp Add CInt CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CTimestamp :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CTimestamp -> Either (ArithError (CValue CInt) (CValue CTimestamp)) (CValue (ArithRes Add CInt CTimestamp)) Source #
ArithOp Add CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CNat CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Add CNat CInt)) Source #
ArithOp Add CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CNat CNat :: CT Source # Methods evalOp :: proxy Add -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Add CNat CNat)) Source #
ArithOp Add CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CMutez CMutez :: CT Source # Methods evalOp :: proxy Add -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Add CMutez CMutez)) Source #
ArithOp Add CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CTimestamp CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Add CTimestamp CInt)) Source #

class UnaryArithOp aop (n :: CT) where Source #

Marker data type for add operation.

Associated Types

type UnaryArithRes aop n :: CT Source #

Methods

evalUnaryArithOp :: proxy aop -> CValue n -> CValue (UnaryArithRes aop n) Source #

Instances

UnaryArithOp Ge CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Ge CInt :: CT Source # Methods evalUnaryArithOp :: proxy Ge -> CValue CInt -> CValue (UnaryArithRes Ge CInt) Source #
UnaryArithOp Le CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Le CInt :: CT Source # Methods evalUnaryArithOp :: proxy Le -> CValue CInt -> CValue (UnaryArithRes Le CInt) Source #
UnaryArithOp Gt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Gt CInt :: CT Source # Methods evalUnaryArithOp :: proxy Gt -> CValue CInt -> CValue (UnaryArithRes Gt CInt) Source #
UnaryArithOp Lt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Lt CInt :: CT Source # Methods evalUnaryArithOp :: proxy Lt -> CValue CInt -> CValue (UnaryArithRes Lt CInt) Source #
UnaryArithOp Neq CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neq CInt :: CT Source # Methods evalUnaryArithOp :: proxy Neq -> CValue CInt -> CValue (UnaryArithRes Neq CInt) Source #
UnaryArithOp Eq' CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Eq' CInt :: CT Source # Methods evalUnaryArithOp :: proxy Eq' -> CValue CInt -> CValue (UnaryArithRes Eq' CInt) Source #
UnaryArithOp Not CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CInt :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CInt -> CValue (UnaryArithRes Not CInt) Source #
UnaryArithOp Not CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CNat :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CNat -> CValue (UnaryArithRes Not CNat) Source #
UnaryArithOp Not CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CBool :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CBool -> CValue (UnaryArithRes Not CBool) Source #
UnaryArithOp Neg CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neg CInt :: CT Source # Methods evalUnaryArithOp :: proxy Neg -> CValue CInt -> CValue (UnaryArithRes Neg CInt) Source #
UnaryArithOp Neg CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neg CNat :: CT Source # Methods evalUnaryArithOp :: proxy Neg -> CValue CNat -> CValue (UnaryArithRes Neg CNat) Source #
UnaryArithOp Abs CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Abs CInt :: CT Source # Methods evalUnaryArithOp :: proxy Abs -> CValue CInt -> CValue (UnaryArithRes Abs CInt) Source #

data ArithError n m Source #

Represents an arithmetic error of the operation.

Constructors

MutezArithError ArithErrorType n m
ShiftArithError ArithErrorType n m

Instances

(Eq n, Eq m) => Eq (ArithError n m) Source #
Instance details Defined in Michelson.Typed.Arith Methods (==) :: ArithError n m -> ArithError n m -> Bool # (/=) :: ArithError n m -> ArithError n m -> Bool #
(Ord n, Ord m) => Ord (ArithError n m) Source #
Instance details Defined in Michelson.Typed.Arith Methods compare :: ArithError n m -> ArithError n m -> Ordering # (<) :: ArithError n m -> ArithError n m -> Bool # (<=) :: ArithError n m -> ArithError n m -> Bool # (>) :: ArithError n m -> ArithError n m -> Bool # (>=) :: ArithError n m -> ArithError n m -> Bool # max :: ArithError n m -> ArithError n m -> ArithError n m # min :: ArithError n m -> ArithError n m -> ArithError n m #
(Show n, Show m) => Show (ArithError n m) Source #
Instance details Defined in Michelson.Typed.Arith Methods showsPrec :: Int -> ArithError n m -> ShowS # show :: ArithError n m -> String # showList :: [ArithError n m] -> ShowS #
(Show n, Show m) => Buildable (ArithError n m) Source #
Instance details Defined in Michelson.Typed.Arith Methods build :: ArithError n m -> Builder #

data ArithErrorType Source #

Denotes the error type occured in the arithmetic operation.

Constructors

AddOverflow
MulOverflow
SubUnderflow
LslOverflow
LsrUnderflow

Instances

Eq ArithErrorType Source #
Instance details Defined in Michelson.Typed.Arith Methods (==) :: ArithErrorType -> ArithErrorType -> Bool # (/=) :: ArithErrorType -> ArithErrorType -> Bool #
Ord ArithErrorType Source #
Instance details Defined in Michelson.Typed.Arith Methods compare :: ArithErrorType -> ArithErrorType -> Ordering # (<) :: ArithErrorType -> ArithErrorType -> Bool # (<=) :: ArithErrorType -> ArithErrorType -> Bool # (>) :: ArithErrorType -> ArithErrorType -> Bool # (>=) :: ArithErrorType -> ArithErrorType -> Bool # max :: ArithErrorType -> ArithErrorType -> ArithErrorType # min :: ArithErrorType -> ArithErrorType -> ArithErrorType #
Show ArithErrorType Source #
Instance details Defined in Michelson.Typed.Arith Methods showsPrec :: Int -> ArithErrorType -> ShowS # show :: ArithErrorType -> String # showList :: [ArithErrorType] -> ShowS #
Buildable ArithErrorType Source #
Instance details Defined in Michelson.Typed.Arith Methods build :: ArithErrorType -> Builder #

data Add Source #

Instances

ArithOpHs Add Integer Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Integer Integer :: Type Source #
ArithOpHs Add Integer Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Integer Natural :: Type Source #
ArithOpHs Add Integer Timestamp Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Integer Timestamp :: Type Source #
ArithOpHs Add Natural Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Natural Integer :: Type Source #
ArithOpHs Add Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Natural Natural :: Type Source #
ArithOpHs Add Timestamp Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Timestamp Integer :: Type Source #
ArithOpHs Add Mutez Mutez Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Add Mutez Mutez :: Type Source #
ArithOp Add CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Add CInt CInt)) Source #
ArithOp Add CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CNat :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Add CInt CNat)) Source #
ArithOp Add CInt CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CInt CTimestamp :: CT Source # Methods evalOp :: proxy Add -> CValue CInt -> CValue CTimestamp -> Either (ArithError (CValue CInt) (CValue CTimestamp)) (CValue (ArithRes Add CInt CTimestamp)) Source #
ArithOp Add CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CNat CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Add CNat CInt)) Source #
ArithOp Add CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CNat CNat :: CT Source # Methods evalOp :: proxy Add -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Add CNat CNat)) Source #
ArithOp Add CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CMutez CMutez :: CT Source # Methods evalOp :: proxy Add -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Add CMutez CMutez)) Source #
ArithOp Add CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Add CTimestamp CInt :: CT Source # Methods evalOp :: proxy Add -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Add CTimestamp CInt)) Source #
type ArithResHs Add Integer Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Integer Integer = Integer
type ArithResHs Add Integer Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Integer Natural = Integer
type ArithResHs Add Integer Timestamp Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Integer Timestamp = Timestamp
type ArithResHs Add Natural Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Natural Integer = Integer
type ArithResHs Add Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Natural Natural = Natural
type ArithResHs Add Timestamp Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Timestamp Integer = Timestamp
type ArithResHs Add Mutez Mutez Source #
Instance details Defined in Lorentz.Arith type ArithResHs Add Mutez Mutez = Mutez
type ArithRes Add CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CInt CInt = CInt
type ArithRes Add CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CInt CNat = CInt
type ArithRes Add CInt CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CInt CTimestamp = CTimestamp
type ArithRes Add CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CNat CInt = CInt
type ArithRes Add CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CNat CNat = CNat
type ArithRes Add CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CMutez CMutez = CMutez
type ArithRes Add CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Add CTimestamp CInt = CTimestamp

data Sub Source #

Instances

ArithOpHs Sub Integer Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Integer Integer :: Type Source #
ArithOpHs Sub Integer Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Integer Natural :: Type Source #
ArithOpHs Sub Natural Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Natural Integer :: Type Source #
ArithOpHs Sub Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Natural Natural :: Type Source #
ArithOpHs Sub Timestamp Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Timestamp Integer :: Type Source #
ArithOpHs Sub Timestamp Timestamp Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Timestamp Timestamp :: Type Source #
ArithOpHs Sub Mutez Mutez Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Sub Mutez Mutez :: Type Source #
ArithOp Sub CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CInt CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Sub CInt CInt)) Source #
ArithOp Sub CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CInt CNat :: CT Source # Methods evalOp :: proxy Sub -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Sub CInt CNat)) Source #
ArithOp Sub CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CNat CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Sub CNat CInt)) Source #
ArithOp Sub CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CNat CNat :: CT Source # Methods evalOp :: proxy Sub -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Sub CNat CNat)) Source #
ArithOp Sub CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CMutez CMutez :: CT Source # Methods evalOp :: proxy Sub -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Sub CMutez CMutez)) Source #
ArithOp Sub CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CTimestamp CInt :: CT Source # Methods evalOp :: proxy Sub -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Sub CTimestamp CInt)) Source #
ArithOp Sub CTimestamp CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Sub CTimestamp CTimestamp :: CT Source # Methods evalOp :: proxy Sub -> CValue CTimestamp -> CValue CTimestamp -> Either (ArithError (CValue CTimestamp) (CValue CTimestamp)) (CValue (ArithRes Sub CTimestamp CTimestamp)) Source #
type ArithResHs Sub Integer Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Integer Integer = Integer
type ArithResHs Sub Integer Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Integer Natural = Integer
type ArithResHs Sub Natural Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Natural Integer = Integer
type ArithResHs Sub Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Natural Natural = Integer
type ArithResHs Sub Timestamp Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Timestamp Integer = Timestamp
type ArithResHs Sub Timestamp Timestamp Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Timestamp Timestamp = Integer
type ArithResHs Sub Mutez Mutez Source #
Instance details Defined in Lorentz.Arith type ArithResHs Sub Mutez Mutez = Mutez
type ArithRes Sub CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CInt CInt = CInt
type ArithRes Sub CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CInt CNat = CInt
type ArithRes Sub CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CNat CInt = CInt
type ArithRes Sub CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CNat CNat = CInt
type ArithRes Sub CMutez CMutez Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CMutez CMutez = CMutez
type ArithRes Sub CTimestamp CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CTimestamp CInt = CTimestamp
type ArithRes Sub CTimestamp CTimestamp Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Sub CTimestamp CTimestamp = CInt

data Mul Source #

Instances

ArithOpHs Mul Integer Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Integer Integer :: Type Source #
ArithOpHs Mul Integer Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Integer Natural :: Type Source #
ArithOpHs Mul Natural Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Natural Integer :: Type Source #
ArithOpHs Mul Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Natural Natural :: Type Source #
ArithOpHs Mul Natural Mutez Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Natural Mutez :: Type Source #
ArithOpHs Mul Mutez Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Mul Mutez Natural :: Type Source #
ArithOp Mul CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CInt CInt :: CT Source # Methods evalOp :: proxy Mul -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Mul CInt CInt)) Source #
ArithOp Mul CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CInt CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Mul CInt CNat)) Source #
ArithOp Mul CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CInt :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Mul CNat CInt)) Source #
ArithOp Mul CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Mul CNat CNat)) Source #
ArithOp Mul CNat CMutez Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CNat CMutez :: CT Source # Methods evalOp :: proxy Mul -> CValue CNat -> CValue CMutez -> Either (ArithError (CValue CNat) (CValue CMutez)) (CValue (ArithRes Mul CNat CMutez)) Source #
ArithOp Mul CMutez CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Mul CMutez CNat :: CT Source # Methods evalOp :: proxy Mul -> CValue CMutez -> CValue CNat -> Either (ArithError (CValue CMutez) (CValue CNat)) (CValue (ArithRes Mul CMutez CNat)) Source #
type ArithResHs Mul Integer Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Integer Integer = Integer
type ArithResHs Mul Integer Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Integer Natural = Integer
type ArithResHs Mul Natural Integer Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Natural Integer = Integer
type ArithResHs Mul Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Natural Natural = Natural
type ArithResHs Mul Natural Mutez Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Natural Mutez = Mutez
type ArithResHs Mul Mutez Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Mul Mutez Natural = Mutez
type ArithRes Mul CInt CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CInt CInt = CInt
type ArithRes Mul CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CInt CNat = CInt
type ArithRes Mul CNat CInt Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CNat CInt = CInt
type ArithRes Mul CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CNat CNat = CNat
type ArithRes Mul CNat CMutez Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CNat CMutez = CMutez
type ArithRes Mul CMutez CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Mul CMutez CNat = CMutez

data Abs Source #

Instances

UnaryArithOpHs Abs Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Abs Integer :: Type Source #
UnaryArithOp Abs CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Abs CInt :: CT Source # Methods evalUnaryArithOp :: proxy Abs -> CValue CInt -> CValue (UnaryArithRes Abs CInt) Source #
type UnaryArithResHs Abs Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Abs Integer = Natural
type UnaryArithRes Abs CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Abs CInt = CNat

data Neg Source #

Instances

UnaryArithOpHs Neg Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Neg Integer :: Type Source #
UnaryArithOpHs Neg Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Neg Natural :: Type Source #
UnaryArithOp Neg CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neg CInt :: CT Source # Methods evalUnaryArithOp :: proxy Neg -> CValue CInt -> CValue (UnaryArithRes Neg CInt) Source #
UnaryArithOp Neg CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neg CNat :: CT Source # Methods evalUnaryArithOp :: proxy Neg -> CValue CNat -> CValue (UnaryArithRes Neg CNat) Source #
type UnaryArithResHs Neg Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Neg Integer = Integer
type UnaryArithResHs Neg Natural Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Neg Natural = Integer
type UnaryArithRes Neg CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Neg CInt = CInt
type UnaryArithRes Neg CNat Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Neg CNat = CInt

data Or Source #

Instances

ArithOpHs Or Bool Bool Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Or Bool Bool :: Type Source #
ArithOpHs Or Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Or Natural Natural :: Type Source #
ArithOp Or CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Or CNat CNat :: CT Source # Methods evalOp :: proxy Or -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Or CNat CNat)) Source #
ArithOp Or CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Or CBool CBool :: CT Source # Methods evalOp :: proxy Or -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Or CBool CBool)) Source #
type ArithResHs Or Bool Bool Source #
Instance details Defined in Lorentz.Arith type ArithResHs Or Bool Bool = Bool
type ArithResHs Or Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Or Natural Natural = Natural
type ArithRes Or CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Or CNat CNat = CNat
type ArithRes Or CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Or CBool CBool = CBool

data And Source #

Instances

ArithOpHs And Bool Bool Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs And Bool Bool :: Type Source #
ArithOpHs And Integer Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs And Integer Natural :: Type Source #
ArithOpHs And Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs And Natural Natural :: Type Source #
ArithOp And CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CInt CNat :: CT Source # Methods evalOp :: proxy And -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes And CInt CNat)) Source #
ArithOp And CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CNat CNat :: CT Source # Methods evalOp :: proxy And -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes And CNat CNat)) Source #
ArithOp And CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes And CBool CBool :: CT Source # Methods evalOp :: proxy And -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes And CBool CBool)) Source #
type ArithResHs And Bool Bool Source #
Instance details Defined in Lorentz.Arith type ArithResHs And Bool Bool = Bool
type ArithResHs And Integer Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs And Integer Natural = Integer
type ArithResHs And Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs And Natural Natural = Natural
type ArithRes And CInt CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes And CInt CNat = CInt
type ArithRes And CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes And CNat CNat = CNat
type ArithRes And CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes And CBool CBool = CBool

data Xor Source #

Instances

ArithOpHs Xor Bool Bool Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Xor Bool Bool :: Type Source #
ArithOpHs Xor Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Xor Natural Natural :: Type Source #
ArithOp Xor CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Xor CNat CNat :: CT Source # Methods evalOp :: proxy Xor -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Xor CNat CNat)) Source #
ArithOp Xor CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Xor CBool CBool :: CT Source # Methods evalOp :: proxy Xor -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Xor CBool CBool)) Source #
type ArithResHs Xor Bool Bool Source #
Instance details Defined in Lorentz.Arith type ArithResHs Xor Bool Bool = Bool
type ArithResHs Xor Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Xor Natural Natural = Natural
type ArithRes Xor CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Xor CNat CNat = CNat
type ArithRes Xor CBool CBool Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Xor CBool CBool = CBool

data Not Source #

Instances

UnaryArithOpHs Not Bool Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Not Bool :: Type Source #
UnaryArithOpHs Not Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Not Integer :: Type Source #
UnaryArithOpHs Not Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Not Natural :: Type Source #
UnaryArithOp Not CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CInt :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CInt -> CValue (UnaryArithRes Not CInt) Source #
UnaryArithOp Not CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CNat :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CNat -> CValue (UnaryArithRes Not CNat) Source #
UnaryArithOp Not CBool Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Not CBool :: CT Source # Methods evalUnaryArithOp :: proxy Not -> CValue CBool -> CValue (UnaryArithRes Not CBool) Source #
type UnaryArithResHs Not Bool Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Not Bool = Bool
type UnaryArithResHs Not Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Not Integer = Integer
type UnaryArithResHs Not Natural Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Not Natural = Integer
type UnaryArithRes Not CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Not CInt = CInt
type UnaryArithRes Not CNat Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Not CNat = CInt
type UnaryArithRes Not CBool Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Not CBool = CBool

data Lsl Source #

Instances

ArithOpHs Lsl Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Lsl Natural Natural :: Type Source #
ArithOp Lsl CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Lsl CNat CNat :: CT Source # Methods evalOp :: proxy Lsl -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsl CNat CNat)) Source #
type ArithResHs Lsl Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Lsl Natural Natural = Natural
type ArithRes Lsl CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Lsl CNat CNat = CNat

data Lsr Source #

Instances

ArithOpHs Lsr Natural Natural Source #
Instance details Defined in Lorentz.Arith Associated Types type ArithResHs Lsr Natural Natural :: Type Source #
ArithOp Lsr CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type ArithRes Lsr CNat CNat :: CT Source # Methods evalOp :: proxy Lsr -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsr CNat CNat)) Source #
type ArithResHs Lsr Natural Natural Source #
Instance details Defined in Lorentz.Arith type ArithResHs Lsr Natural Natural = Natural
type ArithRes Lsr CNat CNat Source #
Instance details Defined in Michelson.Typed.Arith type ArithRes Lsr CNat CNat = CNat

data Compare Source #

data Eq' Source #

Instances

UnaryArithOpHs Eq' Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Eq' Integer :: Type Source #
UnaryArithOp Eq' CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Eq' CInt :: CT Source # Methods evalUnaryArithOp :: proxy Eq' -> CValue CInt -> CValue (UnaryArithRes Eq' CInt) Source #
type UnaryArithResHs Eq' Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Eq' Integer = Bool
type UnaryArithRes Eq' CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Eq' CInt = CBool

data Neq Source #

Instances

UnaryArithOpHs Neq Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Neq Integer :: Type Source #
UnaryArithOp Neq CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Neq CInt :: CT Source # Methods evalUnaryArithOp :: proxy Neq -> CValue CInt -> CValue (UnaryArithRes Neq CInt) Source #
type UnaryArithResHs Neq Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Neq Integer = Bool
type UnaryArithRes Neq CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Neq CInt = CBool

data Lt Source #

Instances

UnaryArithOpHs Lt Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Lt Integer :: Type Source #
UnaryArithOp Lt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Lt CInt :: CT Source # Methods evalUnaryArithOp :: proxy Lt -> CValue CInt -> CValue (UnaryArithRes Lt CInt) Source #
type UnaryArithResHs Lt Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Lt Integer = Bool
type UnaryArithRes Lt CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Lt CInt = CBool

data Gt Source #

Instances

UnaryArithOpHs Gt Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Gt Integer :: Type Source #
UnaryArithOp Gt CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Gt CInt :: CT Source # Methods evalUnaryArithOp :: proxy Gt -> CValue CInt -> CValue (UnaryArithRes Gt CInt) Source #
type UnaryArithResHs Gt Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Gt Integer = Bool
type UnaryArithRes Gt CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Gt CInt = CBool

data Le Source #

Instances

UnaryArithOpHs Le Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Le Integer :: Type Source #
UnaryArithOp Le CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Le CInt :: CT Source # Methods evalUnaryArithOp :: proxy Le -> CValue CInt -> CValue (UnaryArithRes Le CInt) Source #
type UnaryArithResHs Le Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Le Integer = Bool
type UnaryArithRes Le CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Le CInt = CBool

data Ge Source #

Instances

UnaryArithOpHs Ge Integer Source #
Instance details Defined in Lorentz.Arith Associated Types type UnaryArithResHs Ge Integer :: Type Source #
UnaryArithOp Ge CInt Source #
Instance details Defined in Michelson.Typed.Arith Associated Types type UnaryArithRes Ge CInt :: CT Source # Methods evalUnaryArithOp :: proxy Ge -> CValue CInt -> CValue (UnaryArithRes Ge CInt) Source #
type UnaryArithResHs Ge Integer Source #
Instance details Defined in Lorentz.Arith type UnaryArithResHs Ge Integer = Bool
type UnaryArithRes Ge CInt Source #
Instance details Defined in Michelson.Typed.Arith type UnaryArithRes Ge CInt = CBool

compareOp :: forall t i. (Comparable t, SingI t) => Value' i t -> Value' i t -> Integer Source #