Michelson.Typed.Value

Module, containing data types for Michelson value.

Documentation

data Val instr t where

Representation of Michelson value.

Type parameter instr stands for Michelson instruction type, i.e. data type to represent an instruction of language.

Constructors

VC :: CVal t -> Val instr (Tc t)

VKey :: PublicKey -> Val instr TKey

VUnit :: Val instr TUnit

VSignature :: Signature -> Val instr TSignature

VOption :: Maybe (Val instr t) -> Val instr (TOption t)

VList :: [Val instr t] -> Val instr (TList t)

VSet :: Set (CVal t) -> Val instr (TSet t)

VOp :: Operation instr -> Val instr TOperation

VContract :: Address -> Val instr (TContract p)

VPair :: (Val instr l, Val instr r) -> Val instr (TPair l r)

VOr :: Either (Val instr l) (Val instr r) -> Val instr (TOr l r)

VLam :: (Show (instr '[inp] '[out]), Eq (instr '[inp] '[out])) => instr (inp ': '[]) (out ': '[]) -> Val instr (TLambda inp out)

VMap :: Map (CVal k) (Val instr v) -> Val instr (TMap k v)

VBigMap :: Map (CVal k) (Val instr v) -> Val instr (TBigMap k v)

Instances

Eq (Val instr t)

Defined in Michelson.Typed.Value

Methods

(==) :: Val instr t -> Val instr t -> Bool

(/=) :: Val instr t -> Val instr t -> Bool

Show (Val instr t)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> Val instr t -> ShowS

show :: Val instr t -> String

showList :: [Val instr t] -> ShowS

(Arbitrary (Val instr a), Arbitrary (Val instr b)) => Arbitrary (Val instr (TPair a b))

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (Val instr (TPair a b))

shrink :: Val instr (TPair a b) -> [Val instr (TPair a b)]

Arbitrary (Val instr TUnit)

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (Val instr TUnit)

shrink :: Val instr TUnit -> [Val instr TUnit]

Arbitrary (Val instr a) => Arbitrary (Val instr (TList a))

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (Val instr (TList a))

shrink :: Val instr (TList a) -> [Val instr (TList a)]

Arbitrary (CVal a) => Arbitrary (Val instr (Tc a))

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (Val instr (Tc a))

shrink :: Val instr (Tc a) -> [Val instr (Tc a)]

type ContractInp param st = '[TPair param st]

type ContractOut st = '[TPair (TList TOperation) st]

data CreateAccount

Constructors

CreateAccount

Fields

• caManager :: !KeyHash
• caDelegate :: !(Maybe KeyHash)
• caSpendable :: !Bool
• caBalance :: !Mutez

Instances

Eq CreateAccount

Defined in Michelson.Typed.Value

Methods

(==) :: CreateAccount -> CreateAccount -> Bool

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

Show CreateAccount

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> CreateAccount -> ShowS

show :: CreateAccount -> String

showList :: [CreateAccount] -> ShowS

Buildable CreateAccount

Defined in Michelson.Typed.Value

Methods

build :: CreateAccount -> Builder

data CreateContract instr t cp st

Constructors

(Show (instr (ContractInp cp st) (ContractOut st)), Eq (instr (ContractInp cp st) (ContractOut st))) => CreateContract

Fields

• ccManager :: !KeyHash
• ccDelegate :: !(Maybe KeyHash)
• ccSpendable :: !Bool
• ccDelegatable :: !Bool
• ccBalance :: !Mutez
• ccStorageVal :: !(Val instr t)
• ccContractCode :: !(instr (ContractInp cp st) (ContractOut st))

Instances

Eq (CreateContract instr t cp st)

Defined in Michelson.Typed.Value

Methods

(==) :: CreateContract instr t cp st -> CreateContract instr t cp st -> Bool

(/=) :: CreateContract instr t cp st -> CreateContract instr t cp st -> Bool

Show (CreateContract instr t cp st)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> CreateContract instr t cp st -> ShowS

show :: CreateContract instr t cp st -> String

showList :: [CreateContract instr t cp st] -> ShowS

Buildable (CreateContract instr t cp st)

Defined in Michelson.Typed.Value

Methods

build :: CreateContract instr t cp st -> Builder

data CVal t where

Representation of comparable value in Michelson language.

By specification, we're allowed to compare only following types: int, nat, string, bytes, mutez, bool, key_hash, timestamp, address.

Only these values can be used as map keys or set elements.

Constructors

CvInt :: Integer -> CVal CInt

CvNat :: Natural -> CVal CNat

CvString :: Text -> CVal CString

CvBytes :: ByteString -> CVal CBytes

CvMutez :: Mutez -> CVal CMutez

CvBool :: Bool -> CVal CBool

CvKeyHash :: KeyHash -> CVal CKeyHash

CvTimestamp :: Timestamp -> CVal CTimestamp

CvAddress :: Address -> CVal CAddress

Instances

Eq (CVal t)

Defined in Michelson.Typed.CValue

Methods

(==) :: CVal t -> CVal t -> Bool

(/=) :: CVal t -> CVal t -> Bool

Ord (CVal t)

Defined in Michelson.Typed.CValue

Methods

compare :: CVal t -> CVal t -> Ordering

(<) :: CVal t -> CVal t -> Bool

(<=) :: CVal t -> CVal t -> Bool

(>) :: CVal t -> CVal t -> Bool

(>=) :: CVal t -> CVal t -> Bool

max :: CVal t -> CVal t -> CVal t

min :: CVal t -> CVal t -> CVal t

Show (CVal t)

Defined in Michelson.Typed.CValue

Methods

showsPrec :: Int -> CVal t -> ShowS

show :: CVal t -> String

showList :: [CVal t] -> ShowS

Arbitrary (CVal CInt)

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (CVal CInt)

shrink :: CVal CInt -> [CVal CInt]

Arbitrary (CVal CMutez)

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (CVal CMutez)

shrink :: CVal CMutez -> [CVal CMutez]

Arbitrary (CVal CKeyHash)

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (CVal CKeyHash)

shrink :: CVal CKeyHash -> [CVal CKeyHash]

Arbitrary (CVal CTimestamp)

Defined in Morley.Test.Gen

Methods

arbitrary :: Gen (CVal CTimestamp)

shrink :: CVal CTimestamp -> [CVal CTimestamp]

data Operation instr where

Data type, representing operation, list of which is returned by Michelson contract (according to calling convention).

These operations are to be further executed against system state after the contract execution.

Constructors

OpTransferTokens :: Typeable p => TransferTokens instr p -> Operation instr

OpSetDelegate :: SetDelegate -> Operation instr

OpCreateAccount :: CreateAccount -> Operation instr

OpCreateContract :: (Show (instr (ContractInp cp st) (ContractOut st)), SingI cp, SingI st, Typeable t, Typeable cp, Typeable st) => CreateContract instr t cp st -> Operation instr

Instances

Eq (Operation instr)

Defined in Michelson.Typed.Value

Methods

(==) :: Operation instr -> Operation instr -> Bool

(/=) :: Operation instr -> Operation instr -> Bool

Show (Operation instr)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> Operation instr -> ShowS

show :: Operation instr -> String

showList :: [Operation instr] -> ShowS

Buildable (Operation instr)

Defined in Michelson.Typed.Value

Methods

build :: Operation instr -> Builder

data SetDelegate

Constructors

SetDelegate

Fields

• sdMbKeyHash :: !(Maybe KeyHash)

Instances

Eq SetDelegate

Defined in Michelson.Typed.Value

Methods

(==) :: SetDelegate -> SetDelegate -> Bool

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

Show SetDelegate

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> SetDelegate -> ShowS

show :: SetDelegate -> String

showList :: [SetDelegate] -> ShowS

Buildable SetDelegate

Defined in Michelson.Typed.Value

Methods

build :: SetDelegate -> Builder

data TransferTokens instr p

Constructors

TransferTokens

Fields

• ttContractParameter :: !(Val instr p)
• ttAmount :: !Mutez
• ttContract :: !(Val instr (TContract p))

Instances

Eq (TransferTokens instr p)

Defined in Michelson.Typed.Value

Methods

(==) :: TransferTokens instr p -> TransferTokens instr p -> Bool

(/=) :: TransferTokens instr p -> TransferTokens instr p -> Bool

Show (TransferTokens instr p)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> TransferTokens instr p -> ShowS

show :: TransferTokens instr p -> String

showList :: [TransferTokens instr p] -> ShowS

Buildable (TransferTokens instr p)

Defined in Michelson.Typed.Value

Methods

build :: TransferTokens instr p -> Builder

class ToVal a

Converts a complex Haskell structure into Val representation.

Minimal complete definition

toVal

Instances

ToVal Bool

Defined in Michelson.Typed.Value

Methods

toVal :: Bool -> Val instr (ToT Bool)

ToVal Int

Defined in Michelson.Typed.Value

Methods

toVal :: Int -> Val instr (ToT Int)

ToVal Integer

Defined in Michelson.Typed.Value

Methods

toVal :: Integer -> Val instr (ToT Integer)

ToVal Natural

Defined in Michelson.Typed.Value

Methods

toVal :: Natural -> Val instr (ToT Natural)

ToVal Word64

Defined in Michelson.Typed.Value

Methods

toVal :: Word64 -> Val instr (ToT Word64)

ToVal ()

Defined in Michelson.Typed.Value

Methods

toVal :: () -> Val instr (ToT ())

ToVal ByteString

Defined in Michelson.Typed.Value

Methods

toVal :: ByteString -> Val instr (ToT ByteString)

ToVal Text

Defined in Michelson.Typed.Value

Methods

toVal :: Text -> Val instr (ToT Text)

ToVal Timestamp

Defined in Michelson.Typed.Value

Methods

toVal :: Timestamp -> Val instr (ToT Timestamp)

ToVal Mutez

Defined in Michelson.Typed.Value

Methods

toVal :: Mutez -> Val instr (ToT Mutez)

ToVal KeyHash

Defined in Michelson.Typed.Value

Methods

toVal :: KeyHash -> Val instr (ToT KeyHash)

ToVal Address

Defined in Michelson.Typed.Value

Methods

toVal :: Address -> Val instr (ToT Address)

ToVal x => ToVal [x]

Defined in Michelson.Typed.Value

Methods

toVal :: [x] -> Val instr (ToT [x])

ToVal a => ToVal (Maybe a)

Defined in Michelson.Typed.Value

Methods

toVal :: Maybe a -> Val instr (ToT (Maybe a))

ToCVal k => ToVal (Set k)

Defined in Michelson.Typed.Value

Methods

toVal :: Set k -> Val instr (ToT (Set k))

(ToVal a, ToVal b) => ToVal (Either a b)

Defined in Michelson.Typed.Value

Methods

toVal :: Either a b -> Val instr (ToT (Either a b))

(ToVal a, ToVal b) => ToVal (a, b)

Defined in Michelson.Typed.Value

Methods

toVal :: (a, b) -> Val instr (ToT (a, b))

(ToCVal k, ToVal a) => ToVal (Map k a)

Defined in Michelson.Typed.Value

Methods

toVal :: Map k a -> Val instr (ToT (Map k a))

class FromVal t

Converts a Val value into complex Haskell type.

Minimal complete definition

fromVal

Instances

FromVal Bool

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Bool) -> Bool

FromVal Integer

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Integer) -> Integer

FromVal Natural

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Natural) -> Natural

FromVal ()

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT ()) -> ()

FromVal ByteString

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT ByteString) -> ByteString

FromVal Text

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Text) -> Text

FromVal Timestamp

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Timestamp) -> Timestamp

FromVal Mutez

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Mutez) -> Mutez

FromVal KeyHash

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT KeyHash) -> KeyHash

FromVal Address

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT Address) -> Address

FromVal a => FromVal [a]

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT [a]) -> [a]

FromVal a => FromVal (Maybe a)

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT (Maybe a)) -> Maybe a

(Ord k, FromCVal k) => FromVal (Set k)

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT (Set k)) -> Set k

(FromVal a, FromVal b) => FromVal (Either a b)

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT (Either a b)) -> Either a b

(FromVal a, FromVal b) => FromVal (a, b)

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT (a, b)) -> (a, b)

(Ord k, FromCVal k, FromVal a) => FromVal (Map k a)

Defined in Michelson.Typed.Value

Methods

fromVal :: Val instr (ToT (Map k a)) -> Map k a

toVal :: ToVal a => a -> Val instr (ToT a)

fromVal :: FromVal t => Val instr (ToT t) -> t