Michelson.Typed.Polymorphic

Module, containing type classes for operating with Michelson values in the context of polymorphic stack type operations.

Documentation

class EDivOp (n :: CT) (m :: CT) where

Associated Types

type EDivOpRes n m :: CT

type EModOpRes n m :: CT

Methods

evalEDivOp :: CValue n -> CValue m -> Value' instr (TOption (TPair (Tc (EDivOpRes n m)) (Tc (EModOpRes n m))))

Instances

EDivOp CInt CInt

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CInt CInt :: CT

type EModOpRes CInt CInt :: CT

Methods

evalEDivOp :: CValue CInt -> CValue CInt -> Value' instr (TOption (TPair (Tc (EDivOpRes CInt CInt)) (Tc (EModOpRes CInt CInt))))

EDivOp CInt CNat

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CInt CNat :: CT

type EModOpRes CInt CNat :: CT

Methods

evalEDivOp :: CValue CInt -> CValue CNat -> Value' instr (TOption (TPair (Tc (EDivOpRes CInt CNat)) (Tc (EModOpRes CInt CNat))))

EDivOp CNat CInt

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CNat CInt :: CT

type EModOpRes CNat CInt :: CT

Methods

evalEDivOp :: CValue CNat -> CValue CInt -> Value' instr (TOption (TPair (Tc (EDivOpRes CNat CInt)) (Tc (EModOpRes CNat CInt))))

EDivOp CNat CNat

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CNat CNat :: CT

type EModOpRes CNat CNat :: CT

Methods

evalEDivOp :: CValue CNat -> CValue CNat -> Value' instr (TOption (TPair (Tc (EDivOpRes CNat CNat)) (Tc (EModOpRes CNat CNat))))

EDivOp CMutez CNat

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CMutez CNat :: CT

type EModOpRes CMutez CNat :: CT

Methods

evalEDivOp :: CValue CMutez -> CValue CNat -> Value' instr (TOption (TPair (Tc (EDivOpRes CMutez CNat)) (Tc (EModOpRes CMutez CNat))))

EDivOp CMutez CMutez

Defined in Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes CMutez CMutez :: CT

type EModOpRes CMutez CMutez :: CT

Methods

evalEDivOp :: CValue CMutez -> CValue CMutez -> Value' instr (TOption (TPair (Tc (EDivOpRes CMutez CMutez)) (Tc (EModOpRes CMutez CMutez))))

class MemOp (c :: T) where

Associated Types

type MemOpKey c :: CT

Methods

evalMem :: CValue (MemOpKey c) -> Value' cp c -> Bool

Instances

MemOp (TSet e)

Defined in Michelson.Typed.Polymorphic

Associated Types

type MemOpKey (TSet e) :: CT

Methods

evalMem :: CValue (MemOpKey (TSet e)) -> Value' cp (TSet e) -> Bool

MemOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type MemOpKey (TMap k v) :: CT

Methods

evalMem :: CValue (MemOpKey (TMap k v)) -> Value' cp (TMap k v) -> Bool

MemOp (TBigMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type MemOpKey (TBigMap k v) :: CT

Methods

evalMem :: CValue (MemOpKey (TBigMap k v)) -> Value' cp (TBigMap k v) -> Bool

class MapOp (c :: T) where

Associated Types

type MapOpInp c :: T

type MapOpRes c :: T -> T

Methods

mapOpToList :: Value' instr c -> [Value' instr (MapOpInp c)]

mapOpFromList :: Value' instr c -> [Value' instr b] -> Value' instr (MapOpRes c b)

Instances

MapOp (TList e)

Defined in Michelson.Typed.Polymorphic

Associated Types

type MapOpInp (TList e) :: T

type MapOpRes (TList e) :: T -> T

Methods

mapOpToList :: Value' instr (TList e) -> [Value' instr (MapOpInp (TList e))]

mapOpFromList :: Value' instr (TList e) -> [Value' instr b] -> Value' instr (MapOpRes (TList e) b)

MapOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type MapOpInp (TMap k v) :: T

type MapOpRes (TMap k v) :: T -> T

Methods

mapOpToList :: Value' instr (TMap k v) -> [Value' instr (MapOpInp (TMap k v))]

mapOpFromList :: Value' instr (TMap k v) -> [Value' instr b] -> Value' instr (MapOpRes (TMap k v) b)

class IterOp (c :: T) where

Associated Types

type IterOpEl c :: T

Methods

iterOpDetachOne :: Value' instr c -> (Maybe (Value' instr (IterOpEl c)), Value' instr c)

Instances

IterOp (TList e)

Defined in Michelson.Typed.Polymorphic

Associated Types

type IterOpEl (TList e) :: T

Methods

iterOpDetachOne :: Value' instr (TList e) -> (Maybe (Value' instr (IterOpEl (TList e))), Value' instr (TList e))

IterOp (TSet e)

Defined in Michelson.Typed.Polymorphic

Associated Types

type IterOpEl (TSet e) :: T

Methods

iterOpDetachOne :: Value' instr (TSet e) -> (Maybe (Value' instr (IterOpEl (TSet e))), Value' instr (TSet e))

IterOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type IterOpEl (TMap k v) :: T

Methods

iterOpDetachOne :: Value' instr (TMap k v) -> (Maybe (Value' instr (IterOpEl (TMap k v))), Value' instr (TMap k v))

class SizeOp (c :: T) where

Methods

evalSize :: Value' cp c -> Int

Instances

SizeOp (Tc CString)

Defined in Michelson.Typed.Polymorphic

Methods

evalSize :: Value' cp (Tc CString) -> Int

SizeOp (Tc CBytes)

Defined in Michelson.Typed.Polymorphic

Methods

evalSize :: Value' cp (Tc CBytes) -> Int

SizeOp (TList a)

Defined in Michelson.Typed.Polymorphic

Methods

evalSize :: Value' cp (TList a) -> Int

SizeOp (TSet a)

Defined in Michelson.Typed.Polymorphic

Methods

evalSize :: Value' cp (TSet a) -> Int

SizeOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Methods

evalSize :: Value' cp (TMap k v) -> Int

class GetOp (c :: T) where

Associated Types

type GetOpKey c :: CT

type GetOpVal c :: T

Methods

evalGet :: CValue (GetOpKey c) -> Value' cp c -> Maybe (Value' cp (GetOpVal c))

Instances

GetOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type GetOpKey (TMap k v) :: CT

type GetOpVal (TMap k v) :: T

Methods

evalGet :: CValue (GetOpKey (TMap k v)) -> Value' cp (TMap k v) -> Maybe (Value' cp (GetOpVal (TMap k v)))

GetOp (TBigMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type GetOpKey (TBigMap k v) :: CT

type GetOpVal (TBigMap k v) :: T

Methods

evalGet :: CValue (GetOpKey (TBigMap k v)) -> Value' cp (TBigMap k v) -> Maybe (Value' cp (GetOpVal (TBigMap k v)))

class UpdOp (c :: T) where

Associated Types

type UpdOpKey c :: CT

type UpdOpParams c :: T

Methods

evalUpd :: CValue (UpdOpKey c) -> Value' cp (UpdOpParams c) -> Value' cp c -> Value' cp c

Instances

UpdOp (TSet a)

Defined in Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey (TSet a) :: CT

type UpdOpParams (TSet a) :: T

Methods

evalUpd :: CValue (UpdOpKey (TSet a)) -> Value' cp (UpdOpParams (TSet a)) -> Value' cp (TSet a) -> Value' cp (TSet a)

UpdOp (TMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey (TMap k v) :: CT

type UpdOpParams (TMap k v) :: T

Methods

evalUpd :: CValue (UpdOpKey (TMap k v)) -> Value' cp (UpdOpParams (TMap k v)) -> Value' cp (TMap k v) -> Value' cp (TMap k v)

UpdOp (TBigMap k v)

Defined in Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey (TBigMap k v) :: CT

type UpdOpParams (TBigMap k v) :: T

Methods

evalUpd :: CValue (UpdOpKey (TBigMap k v)) -> Value' cp (UpdOpParams (TBigMap k v)) -> Value' cp (TBigMap k v) -> Value' cp (TBigMap k v)

class SliceOp (c :: T) where

Methods

evalSlice :: Natural -> Natural -> Value' cp c -> Maybe (Value' cp c)

Instances

SliceOp (Tc CString)

Defined in Michelson.Typed.Polymorphic

Methods

evalSlice :: Natural -> Natural -> Value' cp (Tc CString) -> Maybe (Value' cp (Tc CString))

SliceOp (Tc CBytes)

Defined in Michelson.Typed.Polymorphic

Methods

evalSlice :: Natural -> Natural -> Value' cp (Tc CBytes) -> Maybe (Value' cp (Tc CBytes))

class ConcatOp (c :: T) where

Methods

evalConcat :: Value' cp c -> Value' cp c -> Value' cp c

evalConcat' :: [Value' cp c] -> Value' cp c

Instances

ConcatOp (Tc CString)

Defined in Michelson.Typed.Polymorphic

Methods

evalConcat :: Value' cp (Tc CString) -> Value' cp (Tc CString) -> Value' cp (Tc CString)

evalConcat' :: [Value' cp (Tc CString)] -> Value' cp (Tc CString)

ConcatOp (Tc CBytes)

Defined in Michelson.Typed.Polymorphic

Methods

evalConcat :: Value' cp (Tc CBytes) -> Value' cp (Tc CBytes) -> Value' cp (Tc CBytes)

evalConcat' :: [Value' cp (Tc CBytes)] -> Value' cp (Tc CBytes)