Morley.Michelson.Typed.Polymorphic

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

Documentation

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

Associated Types

type EDivOpRes n m :: T

type EModOpRes n m :: T

Methods

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

Instances

EDivOp 'TInt 'TInt

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TInt 'TInt :: T

type EModOpRes 'TInt 'TInt :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TInt -> Value' instr 'TInt -> Value' instr ('TOption ('TPair (EDivOpRes 'TInt 'TInt) (EModOpRes 'TInt 'TInt)))

EDivOp 'TInt 'TNat

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TInt 'TNat :: T

type EModOpRes 'TInt 'TNat :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TInt -> Value' instr 'TNat -> Value' instr ('TOption ('TPair (EDivOpRes 'TInt 'TNat) (EModOpRes 'TInt 'TNat)))

EDivOp 'TMutez 'TMutez

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TMutez 'TMutez :: T

type EModOpRes 'TMutez 'TMutez :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TMutez -> Value' instr 'TMutez -> Value' instr ('TOption ('TPair (EDivOpRes 'TMutez 'TMutez) (EModOpRes 'TMutez 'TMutez)))

EDivOp 'TMutez 'TNat

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TMutez 'TNat :: T

type EModOpRes 'TMutez 'TNat :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TMutez -> Value' instr 'TNat -> Value' instr ('TOption ('TPair (EDivOpRes 'TMutez 'TNat) (EModOpRes 'TMutez 'TNat)))

EDivOp 'TNat 'TInt

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TNat 'TInt :: T

type EModOpRes 'TNat 'TInt :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TNat -> Value' instr 'TInt -> Value' instr ('TOption ('TPair (EDivOpRes 'TNat 'TInt) (EModOpRes 'TNat 'TInt)))

EDivOp 'TNat 'TNat

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type EDivOpRes 'TNat 'TNat :: T

type EModOpRes 'TNat 'TNat :: T

Methods

evalEDivOp :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TNat -> Value' instr 'TNat -> Value' instr ('TOption ('TPair (EDivOpRes 'TNat 'TNat) (EModOpRes 'TNat 'TNat)))

class MemOp (c :: T) where

Associated Types

type MemOpKey c :: T

Methods

evalMem :: Value' instr (MemOpKey c) -> Value' instr c -> Bool

Instances

MemOp ('TSet e)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MemOpKey ('TSet e) :: T

Methods

evalMem :: forall (instr :: [T] -> [T] -> Type). Value' instr (MemOpKey ('TSet e)) -> Value' instr ('TSet e) -> Bool

MemOp ('TBigMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MemOpKey ('TBigMap k v) :: T

Methods

evalMem :: forall (instr :: [T] -> [T] -> Type). Value' instr (MemOpKey ('TBigMap k v)) -> Value' instr ('TBigMap k v) -> Bool

MemOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MemOpKey ('TMap k v) :: T

Methods

evalMem :: forall (instr :: [T] -> [T] -> Type). Value' instr (MemOpKey ('TMap k v)) -> Value' instr ('TMap 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 :: SingI b => Value' instr c -> [Value' instr b] -> Value' instr (MapOpRes c b)

mapOpNotes :: Notes c -> Notes (MapOpInp c)

Instances

MapOp ('TList e)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MapOpInp ('TList e) :: T

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

Methods

mapOpToList :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TList e) -> [Value' instr (MapOpInp ('TList e))]

mapOpFromList :: forall (b :: T) (instr :: [T] -> [T] -> Type). SingI b => Value' instr ('TList e) -> [Value' instr b] -> Value' instr (MapOpRes ('TList e) b)

mapOpNotes :: Notes ('TList e) -> Notes (MapOpInp ('TList e))

MapOp ('TOption e)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MapOpInp ('TOption e) :: T

type MapOpRes ('TOption e) :: T -> T

Methods

mapOpToList :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TOption e) -> [Value' instr (MapOpInp ('TOption e))]

mapOpFromList :: forall (b :: T) (instr :: [T] -> [T] -> Type). SingI b => Value' instr ('TOption e) -> [Value' instr b] -> Value' instr (MapOpRes ('TOption e) b)

mapOpNotes :: Notes ('TOption e) -> Notes (MapOpInp ('TOption e))

MapOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type MapOpInp ('TMap k v) :: T

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

Methods

mapOpToList :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TMap k v) -> [Value' instr (MapOpInp ('TMap k v))]

mapOpFromList :: forall (b :: T) (instr :: [T] -> [T] -> Type). SingI b => Value' instr ('TMap k v) -> [Value' instr b] -> Value' instr (MapOpRes ('TMap k v) b)

mapOpNotes :: Notes ('TMap k v) -> Notes (MapOpInp ('TMap k v))

class IterOp (c :: T) where

Associated Types

type IterOpEl c :: T

Methods

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

iterOpNotes :: Notes c -> Notes (IterOpEl c)

Instances

IterOp ('TList e)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type IterOpEl ('TList e) :: T

Methods

iterOpDetachOne :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TList e) -> (Maybe (Value' instr (IterOpEl ('TList e))), Value' instr ('TList e))

iterOpNotes :: Notes ('TList e) -> Notes (IterOpEl ('TList e))

IterOp ('TSet e)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type IterOpEl ('TSet e) :: T

Methods

iterOpDetachOne :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TSet e) -> (Maybe (Value' instr (IterOpEl ('TSet e))), Value' instr ('TSet e))

iterOpNotes :: Notes ('TSet e) -> Notes (IterOpEl ('TSet e))

IterOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type IterOpEl ('TMap k v) :: T

Methods

iterOpDetachOne :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TMap k v) -> (Maybe (Value' instr (IterOpEl ('TMap k v))), Value' instr ('TMap k v))

iterOpNotes :: Notes ('TMap k v) -> Notes (IterOpEl ('TMap k v))

class SizeOp (c :: T) where

Methods

evalSize :: Value' instr c -> Int

Instances

SizeOp 'TBytes

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSize :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TBytes -> Int

SizeOp 'TString

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSize :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TString -> Int

SizeOp ('TList a)

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSize :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TList a) -> Int

SizeOp ('TSet a)

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSize :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TSet a) -> Int

SizeOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSize :: forall (instr :: [T] -> [T] -> Type). Value' instr ('TMap k v) -> Int

class GetOp (c :: T) where

Associated Types

type GetOpKey c :: T

type GetOpVal c :: T

Methods

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

Instances

GetOp ('TBigMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type GetOpKey ('TBigMap k v) :: T

type GetOpVal ('TBigMap k v) :: T

Methods

evalGet :: forall (instr :: [T] -> [T] -> Type). Value' instr (GetOpKey ('TBigMap k v)) -> Value' instr ('TBigMap k v) -> Maybe (Value' instr (GetOpVal ('TBigMap k v)))

GetOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type GetOpKey ('TMap k v) :: T

type GetOpVal ('TMap k v) :: T

Methods

evalGet :: forall (instr :: [T] -> [T] -> Type). Value' instr (GetOpKey ('TMap k v)) -> Value' instr ('TMap k v) -> Maybe (Value' instr (GetOpVal ('TMap k v)))

class UpdOp (c :: T) where

Associated Types

type UpdOpKey c :: T

type UpdOpParams c :: T

Methods

evalUpd :: Value' instr (UpdOpKey c) -> Value' instr (UpdOpParams c) -> Value' instr c -> Value' instr c

Instances

UpdOp ('TSet a)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey ('TSet a) :: T

type UpdOpParams ('TSet a) :: T

Methods

evalUpd :: forall (instr :: [T] -> [T] -> Type). Value' instr (UpdOpKey ('TSet a)) -> Value' instr (UpdOpParams ('TSet a)) -> Value' instr ('TSet a) -> Value' instr ('TSet a)

UpdOp ('TBigMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey ('TBigMap k v) :: T

type UpdOpParams ('TBigMap k v) :: T

Methods

evalUpd :: forall (instr :: [T] -> [T] -> Type). Value' instr (UpdOpKey ('TBigMap k v)) -> Value' instr (UpdOpParams ('TBigMap k v)) -> Value' instr ('TBigMap k v) -> Value' instr ('TBigMap k v)

UpdOp ('TMap k v)

Defined in Morley.Michelson.Typed.Polymorphic

Associated Types

type UpdOpKey ('TMap k v) :: T

type UpdOpParams ('TMap k v) :: T

Methods

evalUpd :: forall (instr :: [T] -> [T] -> Type). Value' instr (UpdOpKey ('TMap k v)) -> Value' instr (UpdOpParams ('TMap k v)) -> Value' instr ('TMap k v) -> Value' instr ('TMap k v)

class SliceOp (c :: T) where

Methods

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

Instances

SliceOp 'TBytes

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSlice :: forall (instr :: [T] -> [T] -> Type). Natural -> Natural -> Value' instr 'TBytes -> Maybe (Value' instr 'TBytes)

SliceOp 'TString

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalSlice :: forall (instr :: [T] -> [T] -> Type). Natural -> Natural -> Value' instr 'TString -> Maybe (Value' instr 'TString)

class ConcatOp (c :: T) where

Methods

evalConcat :: Value' instr c -> Value' instr c -> Value' instr c

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

Instances

ConcatOp 'TBytes

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalConcat :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TBytes -> Value' instr 'TBytes -> Value' instr 'TBytes

evalConcat' :: forall (instr :: [T] -> [T] -> Type). [Value' instr 'TBytes] -> Value' instr 'TBytes

ConcatOp 'TString

Defined in Morley.Michelson.Typed.Polymorphic

Methods

evalConcat :: forall (instr :: [T] -> [T] -> Type). Value' instr 'TString -> Value' instr 'TString -> Value' instr 'TString

evalConcat' :: forall (instr :: [T] -> [T] -> Type). [Value' instr 'TString] -> Value' instr 'TString

divMich :: Integral a => a -> a -> a

Computing div function in Michelson style. When divisor is negative, Haskell gives x as integer part, while Michelson gives x+1.

modMich :: Integral a => a -> a -> a

Computing mod function in Michelson style. When divisor is negative, Haskell gives a negative modulo, while there is a positive modulo in Michelson.