Michelson.Typed.Arith

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

Documentation

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

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

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))

Evaluate arithmetic operation on given operands.

Instances

ArithOp Lsr CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Lsr CNat CNat :: CT

Methods

evalOp :: proxy Lsr -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsr CNat CNat))

ArithOp Lsl CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Lsl CNat CNat :: CT

Methods

evalOp :: proxy Lsl -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsl CNat CNat))

ArithOp Xor CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Xor CNat CNat :: CT

Methods

evalOp :: proxy Xor -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Xor CNat CNat))

ArithOp Xor CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Xor CBool CBool :: CT

Methods

evalOp :: proxy Xor -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Xor CBool CBool))

ArithOp And CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CInt CNat :: CT

Methods

evalOp :: proxy And -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes And CInt CNat))

ArithOp And CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CNat CNat :: CT

Methods

evalOp :: proxy And -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes And CNat CNat))

ArithOp And CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CBool CBool :: CT

Methods

evalOp :: proxy And -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes And CBool CBool))

ArithOp Or CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Or CNat CNat :: CT

Methods

evalOp :: proxy Or -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Or CNat CNat))

ArithOp Or CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Or CBool CBool :: CT

Methods

evalOp :: proxy Or -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Or CBool CBool))

ArithOp Mul CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CInt CInt :: CT

Methods

evalOp :: proxy Mul -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Mul CInt CInt))

ArithOp Mul CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CInt CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Mul CInt CNat))

ArithOp Mul CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CInt :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Mul CNat CInt))

ArithOp Mul CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Mul CNat CNat))

ArithOp Mul CNat CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CMutez :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CMutez -> Either (ArithError (CValue CNat) (CValue CMutez)) (CValue (ArithRes Mul CNat CMutez))

ArithOp Mul CMutez CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CMutez CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CMutez -> CValue CNat -> Either (ArithError (CValue CMutez) (CValue CNat)) (CValue (ArithRes Mul CMutez CNat))

ArithOp Sub CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CInt CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Sub CInt CInt))

ArithOp Sub CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CInt CNat :: CT

Methods

evalOp :: proxy Sub -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Sub CInt CNat))

ArithOp Sub CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CNat CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Sub CNat CInt))

ArithOp Sub CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CNat CNat :: CT

Methods

evalOp :: proxy Sub -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Sub CNat CNat))

ArithOp Sub CMutez CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CMutez CMutez :: CT

Methods

evalOp :: proxy Sub -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Sub CMutez CMutez))

ArithOp Sub CTimestamp CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CTimestamp CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Sub CTimestamp CInt))

ArithOp Sub CTimestamp CTimestamp

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CTimestamp CTimestamp :: CT

Methods

evalOp :: proxy Sub -> CValue CTimestamp -> CValue CTimestamp -> Either (ArithError (CValue CTimestamp) (CValue CTimestamp)) (CValue (ArithRes Sub CTimestamp CTimestamp))

ArithOp Add CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CInt :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Add CInt CInt))

ArithOp Add CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CNat :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Add CInt CNat))

ArithOp Add CInt CTimestamp

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CTimestamp :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CTimestamp -> Either (ArithError (CValue CInt) (CValue CTimestamp)) (CValue (ArithRes Add CInt CTimestamp))

ArithOp Add CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CNat CInt :: CT

Methods

evalOp :: proxy Add -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Add CNat CInt))

ArithOp Add CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CNat CNat :: CT

Methods

evalOp :: proxy Add -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Add CNat CNat))

ArithOp Add CMutez CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CMutez CMutez :: CT

Methods

evalOp :: proxy Add -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Add CMutez CMutez))

ArithOp Add CTimestamp CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CTimestamp CInt :: CT

Methods

evalOp :: proxy Add -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Add CTimestamp CInt))

class UnaryArithOp aop (n :: CT) where

Marker data type for add operation.

Associated Types

type UnaryArithRes aop n :: CT

Methods

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

Instances

UnaryArithOp Ge CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Ge CInt :: CT

Methods

evalUnaryArithOp :: proxy Ge -> CValue CInt -> CValue (UnaryArithRes Ge CInt)

UnaryArithOp Le CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Le CInt :: CT

Methods

evalUnaryArithOp :: proxy Le -> CValue CInt -> CValue (UnaryArithRes Le CInt)

UnaryArithOp Gt CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Gt CInt :: CT

Methods

evalUnaryArithOp :: proxy Gt -> CValue CInt -> CValue (UnaryArithRes Gt CInt)

UnaryArithOp Lt CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Lt CInt :: CT

Methods

evalUnaryArithOp :: proxy Lt -> CValue CInt -> CValue (UnaryArithRes Lt CInt)

UnaryArithOp Neq CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neq CInt :: CT

Methods

evalUnaryArithOp :: proxy Neq -> CValue CInt -> CValue (UnaryArithRes Neq CInt)

UnaryArithOp Eq' CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Eq' CInt :: CT

Methods

evalUnaryArithOp :: proxy Eq' -> CValue CInt -> CValue (UnaryArithRes Eq' CInt)

UnaryArithOp Not CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CInt :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CInt -> CValue (UnaryArithRes Not CInt)

UnaryArithOp Not CNat

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CNat :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CNat -> CValue (UnaryArithRes Not CNat)

UnaryArithOp Not CBool

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CBool :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CBool -> CValue (UnaryArithRes Not CBool)

UnaryArithOp Neg CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neg CInt :: CT

Methods

evalUnaryArithOp :: proxy Neg -> CValue CInt -> CValue (UnaryArithRes Neg CInt)

UnaryArithOp Neg CNat

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neg CNat :: CT

Methods

evalUnaryArithOp :: proxy Neg -> CValue CNat -> CValue (UnaryArithRes Neg CNat)

UnaryArithOp Abs CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Abs CInt :: CT

Methods

evalUnaryArithOp :: proxy Abs -> CValue CInt -> CValue (UnaryArithRes Abs CInt)

data ArithError n m

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)

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)

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)

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)

Defined in Michelson.Typed.Arith

Methods

build :: ArithError n m -> Builder

data ArithErrorType

Denotes the error type occured in the arithmetic operation.

Constructors

AddOverflow

MulOverflow

SubUnderflow

LslOverflow

LsrUnderflow

Instances

Eq ArithErrorType

Defined in Michelson.Typed.Arith

Methods

(==) :: ArithErrorType -> ArithErrorType -> Bool

(/=) :: ArithErrorType -> ArithErrorType -> Bool

Ord ArithErrorType

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

Defined in Michelson.Typed.Arith

Methods

showsPrec :: Int -> ArithErrorType -> ShowS

show :: ArithErrorType -> String

showList :: [ArithErrorType] -> ShowS

Buildable ArithErrorType

Defined in Michelson.Typed.Arith

Methods

build :: ArithErrorType -> Builder

data Add

Instances

ArithOp Add CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CInt :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Add CInt CInt))

ArithOp Add CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CNat :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Add CInt CNat))

ArithOp Add CInt CTimestamp

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CInt CTimestamp :: CT

Methods

evalOp :: proxy Add -> CValue CInt -> CValue CTimestamp -> Either (ArithError (CValue CInt) (CValue CTimestamp)) (CValue (ArithRes Add CInt CTimestamp))

ArithOp Add CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CNat CInt :: CT

Methods

evalOp :: proxy Add -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Add CNat CInt))

ArithOp Add CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CNat CNat :: CT

Methods

evalOp :: proxy Add -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Add CNat CNat))

ArithOp Add CMutez CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CMutez CMutez :: CT

Methods

evalOp :: proxy Add -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Add CMutez CMutez))

ArithOp Add CTimestamp CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Add CTimestamp CInt :: CT

Methods

evalOp :: proxy Add -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Add CTimestamp CInt))

type ArithRes Add CInt CInt

Defined in Michelson.Typed.Arith

type ArithRes Add CInt CInt = CInt

type ArithRes Add CInt CNat

Defined in Michelson.Typed.Arith

type ArithRes Add CInt CNat = CInt

type ArithRes Add CInt CTimestamp

Defined in Michelson.Typed.Arith

type ArithRes Add CInt CTimestamp = CTimestamp

type ArithRes Add CNat CInt

Defined in Michelson.Typed.Arith

type ArithRes Add CNat CInt = CInt

type ArithRes Add CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Add CNat CNat = CNat

type ArithRes Add CMutez CMutez

Defined in Michelson.Typed.Arith

type ArithRes Add CMutez CMutez = CMutez

type ArithRes Add CTimestamp CInt

Defined in Michelson.Typed.Arith

type ArithRes Add CTimestamp CInt = CTimestamp

data Sub

Instances

ArithOp Sub CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CInt CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Sub CInt CInt))

ArithOp Sub CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CInt CNat :: CT

Methods

evalOp :: proxy Sub -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Sub CInt CNat))

ArithOp Sub CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CNat CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Sub CNat CInt))

ArithOp Sub CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CNat CNat :: CT

Methods

evalOp :: proxy Sub -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Sub CNat CNat))

ArithOp Sub CMutez CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CMutez CMutez :: CT

Methods

evalOp :: proxy Sub -> CValue CMutez -> CValue CMutez -> Either (ArithError (CValue CMutez) (CValue CMutez)) (CValue (ArithRes Sub CMutez CMutez))

ArithOp Sub CTimestamp CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CTimestamp CInt :: CT

Methods

evalOp :: proxy Sub -> CValue CTimestamp -> CValue CInt -> Either (ArithError (CValue CTimestamp) (CValue CInt)) (CValue (ArithRes Sub CTimestamp CInt))

ArithOp Sub CTimestamp CTimestamp

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Sub CTimestamp CTimestamp :: CT

Methods

evalOp :: proxy Sub -> CValue CTimestamp -> CValue CTimestamp -> Either (ArithError (CValue CTimestamp) (CValue CTimestamp)) (CValue (ArithRes Sub CTimestamp CTimestamp))

type ArithRes Sub CInt CInt

Defined in Michelson.Typed.Arith

type ArithRes Sub CInt CInt = CInt

type ArithRes Sub CInt CNat

Defined in Michelson.Typed.Arith

type ArithRes Sub CInt CNat = CInt

type ArithRes Sub CNat CInt

Defined in Michelson.Typed.Arith

type ArithRes Sub CNat CInt = CInt

type ArithRes Sub CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Sub CNat CNat = CInt

type ArithRes Sub CMutez CMutez

Defined in Michelson.Typed.Arith

type ArithRes Sub CMutez CMutez = CMutez

type ArithRes Sub CTimestamp CInt

Defined in Michelson.Typed.Arith

type ArithRes Sub CTimestamp CInt = CTimestamp

type ArithRes Sub CTimestamp CTimestamp

Defined in Michelson.Typed.Arith

type ArithRes Sub CTimestamp CTimestamp = CInt

data Mul

Instances

ArithOp Mul CInt CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CInt CInt :: CT

Methods

evalOp :: proxy Mul -> CValue CInt -> CValue CInt -> Either (ArithError (CValue CInt) (CValue CInt)) (CValue (ArithRes Mul CInt CInt))

ArithOp Mul CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CInt CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes Mul CInt CNat))

ArithOp Mul CNat CInt

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CInt :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CInt -> Either (ArithError (CValue CNat) (CValue CInt)) (CValue (ArithRes Mul CNat CInt))

ArithOp Mul CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Mul CNat CNat))

ArithOp Mul CNat CMutez

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CNat CMutez :: CT

Methods

evalOp :: proxy Mul -> CValue CNat -> CValue CMutez -> Either (ArithError (CValue CNat) (CValue CMutez)) (CValue (ArithRes Mul CNat CMutez))

ArithOp Mul CMutez CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Mul CMutez CNat :: CT

Methods

evalOp :: proxy Mul -> CValue CMutez -> CValue CNat -> Either (ArithError (CValue CMutez) (CValue CNat)) (CValue (ArithRes Mul CMutez CNat))

type ArithRes Mul CInt CInt

Defined in Michelson.Typed.Arith

type ArithRes Mul CInt CInt = CInt

type ArithRes Mul CInt CNat

Defined in Michelson.Typed.Arith

type ArithRes Mul CInt CNat = CInt

type ArithRes Mul CNat CInt

Defined in Michelson.Typed.Arith

type ArithRes Mul CNat CInt = CInt

type ArithRes Mul CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Mul CNat CNat = CNat

type ArithRes Mul CNat CMutez

Defined in Michelson.Typed.Arith

type ArithRes Mul CNat CMutez = CMutez

type ArithRes Mul CMutez CNat

Defined in Michelson.Typed.Arith

type ArithRes Mul CMutez CNat = CMutez

data Abs

Instances

UnaryArithOp Abs CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Abs CInt :: CT

Methods

evalUnaryArithOp :: proxy Abs -> CValue CInt -> CValue (UnaryArithRes Abs CInt)

type UnaryArithRes Abs CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Abs CInt = CNat

data Neg

Instances

UnaryArithOp Neg CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neg CInt :: CT

Methods

evalUnaryArithOp :: proxy Neg -> CValue CInt -> CValue (UnaryArithRes Neg CInt)

UnaryArithOp Neg CNat

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neg CNat :: CT

Methods

evalUnaryArithOp :: proxy Neg -> CValue CNat -> CValue (UnaryArithRes Neg CNat)

type UnaryArithRes Neg CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Neg CInt = CInt

type UnaryArithRes Neg CNat

Defined in Michelson.Typed.Arith

type UnaryArithRes Neg CNat = CInt

data Or

Instances

ArithOp Or CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Or CNat CNat :: CT

Methods

evalOp :: proxy Or -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Or CNat CNat))

ArithOp Or CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Or CBool CBool :: CT

Methods

evalOp :: proxy Or -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Or CBool CBool))

type ArithRes Or CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Or CNat CNat = CNat

type ArithRes Or CBool CBool

Defined in Michelson.Typed.Arith

type ArithRes Or CBool CBool = CBool

data And

Instances

ArithOp And CInt CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CInt CNat :: CT

Methods

evalOp :: proxy And -> CValue CInt -> CValue CNat -> Either (ArithError (CValue CInt) (CValue CNat)) (CValue (ArithRes And CInt CNat))

ArithOp And CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CNat CNat :: CT

Methods

evalOp :: proxy And -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes And CNat CNat))

ArithOp And CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes And CBool CBool :: CT

Methods

evalOp :: proxy And -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes And CBool CBool))

type ArithRes And CInt CNat

Defined in Michelson.Typed.Arith

type ArithRes And CInt CNat = CInt

type ArithRes And CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes And CNat CNat = CNat

type ArithRes And CBool CBool

Defined in Michelson.Typed.Arith

type ArithRes And CBool CBool = CBool

data Xor

Instances

ArithOp Xor CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Xor CNat CNat :: CT

Methods

evalOp :: proxy Xor -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Xor CNat CNat))

ArithOp Xor CBool CBool

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Xor CBool CBool :: CT

Methods

evalOp :: proxy Xor -> CValue CBool -> CValue CBool -> Either (ArithError (CValue CBool) (CValue CBool)) (CValue (ArithRes Xor CBool CBool))

type ArithRes Xor CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Xor CNat CNat = CNat

type ArithRes Xor CBool CBool

Defined in Michelson.Typed.Arith

type ArithRes Xor CBool CBool = CBool

data Not

Instances

UnaryArithOp Not CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CInt :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CInt -> CValue (UnaryArithRes Not CInt)

UnaryArithOp Not CNat

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CNat :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CNat -> CValue (UnaryArithRes Not CNat)

UnaryArithOp Not CBool

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Not CBool :: CT

Methods

evalUnaryArithOp :: proxy Not -> CValue CBool -> CValue (UnaryArithRes Not CBool)

type UnaryArithRes Not CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Not CInt = CInt

type UnaryArithRes Not CNat

Defined in Michelson.Typed.Arith

type UnaryArithRes Not CNat = CInt

type UnaryArithRes Not CBool

Defined in Michelson.Typed.Arith

type UnaryArithRes Not CBool = CBool

data Lsl

Instances

ArithOp Lsl CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Lsl CNat CNat :: CT

Methods

evalOp :: proxy Lsl -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsl CNat CNat))

type ArithRes Lsl CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Lsl CNat CNat = CNat

data Lsr

Instances

ArithOp Lsr CNat CNat

Defined in Michelson.Typed.Arith

Associated Types

type ArithRes Lsr CNat CNat :: CT

Methods

evalOp :: proxy Lsr -> CValue CNat -> CValue CNat -> Either (ArithError (CValue CNat) (CValue CNat)) (CValue (ArithRes Lsr CNat CNat))

type ArithRes Lsr CNat CNat

Defined in Michelson.Typed.Arith

type ArithRes Lsr CNat CNat = CNat

data Compare

data Eq'

Instances

UnaryArithOp Eq' CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Eq' CInt :: CT

Methods

evalUnaryArithOp :: proxy Eq' -> CValue CInt -> CValue (UnaryArithRes Eq' CInt)

type UnaryArithRes Eq' CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Eq' CInt = CBool

data Neq

Instances

UnaryArithOp Neq CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Neq CInt :: CT

Methods

evalUnaryArithOp :: proxy Neq -> CValue CInt -> CValue (UnaryArithRes Neq CInt)

type UnaryArithRes Neq CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Neq CInt = CBool

data Lt

Instances

UnaryArithOp Lt CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Lt CInt :: CT

Methods

evalUnaryArithOp :: proxy Lt -> CValue CInt -> CValue (UnaryArithRes Lt CInt)

type UnaryArithRes Lt CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Lt CInt = CBool

data Gt

Instances

UnaryArithOp Gt CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Gt CInt :: CT

Methods

evalUnaryArithOp :: proxy Gt -> CValue CInt -> CValue (UnaryArithRes Gt CInt)

type UnaryArithRes Gt CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Gt CInt = CBool

data Le

Instances

UnaryArithOp Le CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Le CInt :: CT

Methods

evalUnaryArithOp :: proxy Le -> CValue CInt -> CValue (UnaryArithRes Le CInt)

type UnaryArithRes Le CInt

Defined in Michelson.Typed.Arith

type UnaryArithRes Le CInt = CBool

data Ge

Instances

UnaryArithOp Ge CInt

Defined in Michelson.Typed.Arith

Associated Types

type UnaryArithRes Ge CInt :: CT

Methods

evalUnaryArithOp :: proxy Ge -> CValue CInt -> CValue (UnaryArithRes Ge CInt)

type UnaryArithRes Ge CInt

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