Safe Haskell | None |
---|---|
Language | Haskell2010 |
Module, containing some boilerplate for support of arithmetic operations in Michelson language.
Synopsis
- class ArithOp aop (n :: CT) (m :: CT) where
- class UnaryArithOp aop (n :: CT) where
- type UnaryArithRes aop n :: CT
- evalUnaryArithOp :: proxy aop -> CValue n -> CValue (UnaryArithRes aop n)
- data ArithError n m
- data ArithErrorType
- 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
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
.
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
.
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
class UnaryArithOp aop (n :: CT) where Source #
Marker data type for add operation.
type UnaryArithRes aop n :: CT Source #
evalUnaryArithOp :: proxy aop -> CValue n -> CValue (UnaryArithRes aop n) Source #
Instances
data ArithError n m Source #
Represents an arithmetic error of the operation.
Instances
(Eq n, Eq m) => Eq (ArithError n m) Source # | |
Defined in Michelson.Typed.Arith (==) :: ArithError n m -> ArithError n m -> Bool # (/=) :: ArithError n m -> ArithError n m -> Bool # | |
(Ord n, Ord m) => Ord (ArithError n m) Source # | |
Defined in Michelson.Typed.Arith 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 # | |
Defined in Michelson.Typed.Arith 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 # | |
Defined in Michelson.Typed.Arith build :: ArithError n m -> Builder # |
data ArithErrorType Source #
Denotes the error type occured in the arithmetic operation.
Instances
Eq ArithErrorType Source # | |
Defined in Michelson.Typed.Arith (==) :: ArithErrorType -> ArithErrorType -> Bool # (/=) :: ArithErrorType -> ArithErrorType -> Bool # | |
Ord ArithErrorType Source # | |
Defined in Michelson.Typed.Arith 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 # | |
Defined in Michelson.Typed.Arith showsPrec :: Int -> ArithErrorType -> ShowS # show :: ArithErrorType -> String # showList :: [ArithErrorType] -> ShowS # | |
Buildable ArithErrorType Source # | |
Defined in Michelson.Typed.Arith build :: ArithErrorType -> Builder # |
Instances
Instances
Instances
Instances
UnaryArithOpHs Abs Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Abs CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Abs -> CValue CInt -> CValue (UnaryArithRes Abs CInt) Source # | |
type UnaryArithResHs Abs Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Abs CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Neg Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOpHs Neg Natural Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Neg CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Neg -> CValue CInt -> CValue (UnaryArithRes Neg CInt) Source # | |
UnaryArithOp Neg CNat Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Neg -> CValue CNat -> CValue (UnaryArithRes Neg CNat) Source # | |
type UnaryArithResHs Neg Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithResHs Neg Natural Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Neg CInt Source # | |
Defined in Michelson.Typed.Arith | |
type UnaryArithRes Neg CNat Source # | |
Defined in Michelson.Typed.Arith |
Instances
ArithOpHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Or Natural Natural Source # | |
Defined in Lorentz.Arith | |
ArithOp Or CNat CNat Source # | |
ArithOp Or CBool CBool Source # | |
type ArithResHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Or Natural Natural Source # | |
Defined in Lorentz.Arith | |
type ArithRes Or CNat CNat Source # | |
type ArithRes Or CBool CBool Source # | |
Instances
ArithOpHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs And Integer Natural Source # | |
Defined in Lorentz.Arith | |
ArithOpHs And Natural Natural Source # | |
Defined in Lorentz.Arith | |
ArithOp And CInt CNat Source # | |
ArithOp And CNat CNat Source # | |
ArithOp And CBool CBool Source # | |
type ArithResHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs And Integer Natural Source # | |
Defined in Lorentz.Arith | |
type ArithResHs And Natural Natural Source # | |
Defined in Lorentz.Arith | |
type ArithRes And CInt CNat Source # | |
type ArithRes And CNat CNat Source # | |
type ArithRes And CBool CBool Source # | |
Instances
ArithOpHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
ArithOpHs Xor Natural Natural Source # | |
Defined in Lorentz.Arith | |
ArithOp Xor CNat CNat Source # | |
ArithOp Xor CBool CBool Source # | |
type ArithResHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Xor Natural Natural Source # | |
Defined in Lorentz.Arith | |
type ArithRes Xor CNat CNat Source # | |
type ArithRes Xor CBool CBool Source # | |
Instances
Instances
Instances
UnaryArithOpHs Eq' Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Eq' CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Eq' -> CValue CInt -> CValue (UnaryArithRes Eq' CInt) Source # | |
type UnaryArithResHs Eq' Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Eq' CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Neq Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Neq CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Neq -> CValue CInt -> CValue (UnaryArithRes Neq CInt) Source # | |
type UnaryArithResHs Neq Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Neq CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Lt Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Lt CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Lt -> CValue CInt -> CValue (UnaryArithRes Lt CInt) Source # | |
type UnaryArithResHs Lt Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Lt CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Gt Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Gt CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Gt -> CValue CInt -> CValue (UnaryArithRes Gt CInt) Source # | |
type UnaryArithResHs Gt Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Gt CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Le Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Le CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Le -> CValue CInt -> CValue (UnaryArithRes Le CInt) Source # | |
type UnaryArithResHs Le Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Le CInt Source # | |
Defined in Michelson.Typed.Arith |
Instances
UnaryArithOpHs Ge Integer Source # | |
Defined in Lorentz.Arith | |
UnaryArithOp Ge CInt Source # | |
Defined in Michelson.Typed.Arith evalUnaryArithOp :: proxy Ge -> CValue CInt -> CValue (UnaryArithRes Ge CInt) Source # | |
type UnaryArithResHs Ge Integer Source # | |
Defined in Lorentz.Arith | |
type UnaryArithRes Ge CInt Source # | |
Defined in Michelson.Typed.Arith |