Michelson.Typed.Value

Module, containing data types for Michelson value.

Documentation

data Value' 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 :: CValue t -> Value' instr (Tc t)

VKey :: PublicKey -> Value' instr TKey

VUnit :: Value' instr TUnit

VSignature :: Signature -> Value' instr TSignature

VChainId :: ChainId -> Value' instr TChainId

VOption :: forall t instr. Maybe (Value' instr t) -> Value' instr (TOption t)

VList :: forall t instr. [Value' instr t] -> Value' instr (TList t)

VSet :: forall t instr. Set (CValue t) -> Value' instr (TSet t)

VOp :: Operation' instr -> Value' instr TOperation

VContract :: forall arg instr. Address -> SomeEntryPointCallT arg -> Value' instr (TContract arg)

VPair :: forall l r instr. (Value' instr l, Value' instr r) -> Value' instr (TPair l r)

VOr :: forall l r instr. Either (Value' instr l) (Value' instr r) -> Value' instr (TOr l r)

VLam :: forall inp out instr. (forall i o. (Show (instr i o), Eq (instr i o))) => RemFail instr (inp ': '[]) (out ': '[]) -> Value' instr (TLambda inp out)

VMap :: forall k v instr. Map (CValue k) (Value' instr v) -> Value' instr (TMap k v)

VBigMap :: forall k v instr. Map (CValue k) (Value' instr v) -> Value' instr (TBigMap k v)

Instances

Eq (Value' instr t)

Defined in Michelson.Typed.Value

Methods

(==) :: Value' instr t -> Value' instr t -> Bool

(/=) :: Value' instr t -> Value' instr t -> Bool

Show (Value' instr t)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> Value' instr t -> ShowS

show :: Value' instr t -> String

showList :: [Value' instr t] -> ShowS

(Arbitrary (Value' instr a), Arbitrary (Value' instr b)) => Arbitrary (Value' instr (TPair a b))

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (Value' instr (TPair a b))

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

Arbitrary (Value' instr TUnit)

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (Value' instr TUnit)

shrink :: Value' instr TUnit -> [Value' instr TUnit]

Arbitrary (Value' instr a) => Arbitrary (Value' instr (TList a))

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (Value' instr (TList a))

shrink :: Value' instr (TList a) -> [Value' instr (TList a)]

Arbitrary (CValue a) => Arbitrary (Value' instr (Tc a))

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (Value' instr (Tc a))

shrink :: Value' instr (Tc a) -> [Value' instr (Tc a)]

(SingI t, HasNoOp t) => Buildable (Value' Instr t)

Defined in Michelson.Typed.Convert

Methods

build :: Value' Instr t -> Builder

data SomeValue' instr where

Constructors

SomeValue :: (Typeable t, SingI t) => Value' instr t -> SomeValue' instr

Instances

Eq (SomeValue' instr)

Defined in Michelson.Typed.Value

Methods

(==) :: SomeValue' instr -> SomeValue' instr -> Bool

(/=) :: SomeValue' instr -> SomeValue' instr -> Bool

Show (SomeValue' instr)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> SomeValue' instr -> ShowS

show :: SomeValue' instr -> String

showList :: [SomeValue' instr] -> ShowS

data SomeConstrainedValue' instr (c :: T -> Constraint) where

Constructors

SomeConstrainedValue :: forall (t :: T) (c :: T -> Constraint) instr. c t => Value' instr t -> SomeConstrainedValue' instr c

Instances

Show (SomeConstrainedValue' instr c)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> SomeConstrainedValue' instr c -> ShowS

show :: SomeConstrainedValue' instr c -> String

showList :: [SomeConstrainedValue' instr c] -> ShowS

type ContractInp1 param st = TPair param st

type ContractInp param st = '[ContractInp1 param st]

type ContractOut1 st = TPair (TList TOperation) st

type ContractOut st = '[ContractOut1 st]

data CreateContract instr cp st

Constructors

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

Fields

• ccOriginator :: Address
• ccDelegate :: Maybe KeyHash
• ccBalance :: Mutez
• ccStorageVal :: Value' instr st
• ccContractCode :: instr (ContractInp cp st) (ContractOut st)

Instances

Eq (CreateContract instr cp st)

Defined in Michelson.Typed.Value

Methods

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

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

Show (CreateContract instr cp st)

Defined in Michelson.Typed.Value

Methods

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

show :: CreateContract instr cp st -> String

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

Buildable (CreateContract instr cp st)

Defined in Michelson.Typed.Value

Methods

build :: CreateContract instr cp st -> Builder

data CValue 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 -> CValue CInt

CvNat :: Natural -> CValue CNat

CvString :: MText -> CValue CString

CvBytes :: ByteString -> CValue CBytes

CvMutez :: Mutez -> CValue CMutez

CvBool :: Bool -> CValue CBool

CvKeyHash :: KeyHash -> CValue CKeyHash

CvTimestamp :: Timestamp -> CValue CTimestamp

CvAddress :: EpAddress -> CValue CAddress

Instances

Eq (CValue t)

Defined in Michelson.Typed.CValue

Methods

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

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

Ord (CValue t)

Defined in Michelson.Typed.CValue

Methods

compare :: CValue t -> CValue t -> Ordering

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

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

(>) :: CValue t -> CValue t -> Bool

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

max :: CValue t -> CValue t -> CValue t

min :: CValue t -> CValue t -> CValue t

Show (CValue t)

Defined in Michelson.Typed.CValue

Methods

showsPrec :: Int -> CValue t -> ShowS

show :: CValue t -> String

showList :: [CValue t] -> ShowS

Arbitrary (CValue CInt)

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (CValue CInt)

shrink :: CValue CInt -> [CValue CInt]

Arbitrary (CValue CMutez)

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (CValue CMutez)

shrink :: CValue CMutez -> [CValue CMutez]

Arbitrary (CValue CKeyHash)

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (CValue CKeyHash)

shrink :: CValue CKeyHash -> [CValue CKeyHash]

Arbitrary (CValue CTimestamp)

Defined in Michelson.Test.Gen

Methods

arbitrary :: Gen (CValue CTimestamp)

shrink :: CValue CTimestamp -> [CValue 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 :: ParameterScope p => TransferTokens instr p -> Operation' instr

OpSetDelegate :: SetDelegate -> Operation' instr

OpCreateContract :: (Show (instr (ContractInp cp st) (ContractOut st)), Typeable instr, ParameterScope cp, StorageScope st) => CreateContract instr cp st -> Operation' instr

Instances

IsoValue Operation

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT Operation :: T

Methods

toVal :: Operation -> Value (ToT Operation)

fromVal :: Value (ToT Operation) -> Operation

TypeHasDoc Operation

Defined in Michelson.Typed.Haskell.Doc

Methods

typeDocName :: Proxy Operation -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Operation -> WithinParens -> Markdown

typeDocDependencies :: Proxy Operation -> [SomeTypeWithDoc]

typeDocHaskellRep :: TypeDocHaskellRep Operation

typeDocMichelsonRep :: TypeDocMichelsonRep Operation

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

type ToT Operation

Defined in Michelson.Typed.Haskell.Value

type ToT Operation = TOperation

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

• ttTransferArgument :: Value' instr p
• ttAmount :: Mutez
• ttContract :: Value' 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

data RemFail (instr :: k -> k -> Type) (i :: k) (o :: k) where

Wrapper over instruction which remembers whether this instruction always fails or not.

Constructors

RfNormal :: instr i o -> RemFail instr i o

RfAlwaysFails :: (forall o'. instr i o') -> RemFail instr i o

Instances

Eq (instr i o) => Eq (RemFail instr i o)

Ignoring distinction between constructors here, comparing only semantics.

Defined in Michelson.Typed.Value

Methods

(==) :: RemFail instr i o -> RemFail instr i o -> Bool

(/=) :: RemFail instr i o -> RemFail instr i o -> Bool

(forall (o' :: k). Show (instr i o')) => Show (RemFail instr i o)

Defined in Michelson.Typed.Value

Methods

showsPrec :: Int -> RemFail instr i o -> ShowS

show :: RemFail instr i o -> String

showList :: [RemFail instr i o] -> ShowS

rfMerge :: (forall o'. instr i1 o' -> instr i2 o' -> instr i3 o') -> RemFail instr i1 o -> RemFail instr i2 o -> RemFail instr i3 o

Merge two execution branches.

rfAnyInstr :: RemFail instr i o -> instr i o

Get code disregard whether it always fails or not.

rfMapAnyInstr :: (forall o'. instr i1 o' -> instr i2 o') -> RemFail instr i1 o -> RemFail instr i2 o

Modify inner code.

addressToVContract :: forall t instr. (ParameterScope t, ForbidOr t) => Address -> Value' instr (TContract t)

Make value of contract type which refers to the given address and does not call any entrypoint.

buildVContract :: Value' instr (TContract arg) -> Builder

compileEpLiftSequence :: EpLiftSequence arg param -> Value' instr arg -> Value' instr param

Turn EpLiftSequence into actual function on Values.