Michelson.Typed.CValue

Module, containing CValue data type which represents Michelson comparable values.

Documentation

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 :: Address -> 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]