Michelson.Untyped.Value

Untyped Michelson values (i. e. type of a value is not statically known).

Documentation

data Value' op

Constructors

ValueInt Integer

ValueString MText

ValueBytes InternalByteString

ValueUnit

ValueTrue

ValueFalse

ValuePair (Value' op) (Value' op)

ValueLeft (Value' op)

ValueRight (Value' op)

ValueSome (Value' op)

ValueNone

ValueNil

ValueSeq (NonEmpty $ Value' op)

A sequence of elements: can be a list or a set. We can't distinguish lists and sets during parsing.

ValueMap (NonEmpty $ Elt op)

ValueLambda (NonEmpty op)

Instances

Functor Value'

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Value' a -> Value' b

(<$) :: a -> Value' b -> Value' a

Eq op => Eq (Value' op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Value' op -> Value' op -> Bool

(/=) :: Value' op -> Value' op -> Bool

Data op => Data (Value' op)

Defined in Michelson.Untyped.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value' op -> c (Value' op)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Value' op)

toConstr :: Value' op -> Constr

dataTypeOf :: Value' op -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Value' op))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Value' op))

gmapT :: (forall b. Data b => b -> b) -> Value' op -> Value' op

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value' op -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value' op -> r

gmapQ :: (forall d. Data d => d -> u) -> Value' op -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value' op -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value' op -> m (Value' op)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value' op -> m (Value' op)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value' op -> m (Value' op)

Show op => Show (Value' op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Value' op -> ShowS

show :: Value' op -> String

showList :: [Value' op] -> ShowS

Generic (Value' op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Value' op) :: Type -> Type

Methods

from :: Value' op -> Rep (Value' op) x

to :: Rep (Value' op) x -> Value' op

Arbitrary op => Arbitrary (Value' op)

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen (Value' op)

shrink :: Value' op -> [Value' op]

ToJSON op => ToJSON (Value' op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Value' op -> Value

toEncoding :: Value' op -> Encoding

toJSONList :: [Value' op] -> Value

toEncodingList :: [Value' op] -> Encoding

FromJSON op => FromJSON (Value' op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser (Value' op)

parseJSONList :: Value -> Parser [Value' op]

RenderDoc op => Buildable (Value' op)

Defined in Michelson.Untyped.Value

Methods

build :: Value' op -> Builder

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Value' op)

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy (Value' op) -> Gen (ADTArbitrarySingleton (Value' op))

toADTArbitrary :: Proxy (Value' op) -> Gen (ADTArbitrary (Value' op))

RenderDoc op => RenderDoc (Value' op)

Defined in Michelson.Untyped.Value

Methods

renderDoc :: RenderContext -> Value' op -> Doc

isRenderable :: Value' op -> Bool

type Rep (Value' op)

Defined in Michelson.Untyped.Value

type Rep (Value' op) = D1 (MetaData "Value'" "Michelson.Untyped.Value" "morley-1.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (((C1 (MetaCons "ValueInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Integer)) :+: (C1 (MetaCons "ValueString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 MText)) :+: C1 (MetaCons "ValueBytes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 InternalByteString)))) :+: ((C1 (MetaCons "ValueUnit" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueTrue" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ValueFalse" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValuePair" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op)))))) :+: (((C1 (MetaCons "ValueLeft" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op))) :+: C1 (MetaCons "ValueRight" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op)))) :+: (C1 (MetaCons "ValueSome" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op))) :+: C1 (MetaCons "ValueNone" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ValueNil" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ValueSeq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty $ Value' op)))) :+: (C1 (MetaCons "ValueMap" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty $ Elt op))) :+: C1 (MetaCons "ValueLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty op)))))))

data Elt op

Constructors

Elt (Value' op) (Value' op)

Instances

Functor Elt

Defined in Michelson.Untyped.Value

Methods

fmap :: (a -> b) -> Elt a -> Elt b

(<$) :: a -> Elt b -> Elt a

Eq op => Eq (Elt op)

Defined in Michelson.Untyped.Value

Methods

(==) :: Elt op -> Elt op -> Bool

(/=) :: Elt op -> Elt op -> Bool

Data op => Data (Elt op)

Defined in Michelson.Untyped.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elt op -> c (Elt op)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Elt op)

toConstr :: Elt op -> Constr

dataTypeOf :: Elt op -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Elt op))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Elt op))

gmapT :: (forall b. Data b => b -> b) -> Elt op -> Elt op

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elt op -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elt op -> r

gmapQ :: (forall d. Data d => d -> u) -> Elt op -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Elt op -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elt op -> m (Elt op)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elt op -> m (Elt op)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elt op -> m (Elt op)

Show op => Show (Elt op)

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> Elt op -> ShowS

show :: Elt op -> String

showList :: [Elt op] -> ShowS

Generic (Elt op)

Defined in Michelson.Untyped.Value

Associated Types

type Rep (Elt op) :: Type -> Type

Methods

from :: Elt op -> Rep (Elt op) x

to :: Rep (Elt op) x -> Elt op

Arbitrary op => Arbitrary (Elt op)

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen (Elt op)

shrink :: Elt op -> [Elt op]

ToJSON op => ToJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

toJSON :: Elt op -> Value

toEncoding :: Elt op -> Encoding

toJSONList :: [Elt op] -> Value

toEncodingList :: [Elt op] -> Encoding

FromJSON op => FromJSON (Elt op)

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser (Elt op)

parseJSONList :: Value -> Parser [Elt op]

RenderDoc op => Buildable (Elt op)

Defined in Michelson.Untyped.Value

Methods

build :: Elt op -> Builder

(Arbitrary op, ToADTArbitrary op) => ToADTArbitrary (Elt op)

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy (Elt op) -> Gen (ADTArbitrarySingleton (Elt op))

toADTArbitrary :: Proxy (Elt op) -> Gen (ADTArbitrary (Elt op))

RenderDoc op => RenderDoc (Elt op)

Defined in Michelson.Untyped.Value

Methods

renderDoc :: RenderContext -> Elt op -> Doc

isRenderable :: Elt op -> Bool

type Rep (Elt op)

Defined in Michelson.Untyped.Value

type Rep (Elt op) = D1 (MetaData "Elt" "Michelson.Untyped.Value" "morley-1.0.0-Jo9z4xumEmKBIsSgg9Z0MH" False) (C1 (MetaCons "Elt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Value' op))))

newtype InternalByteString

ByteString does not have an instance for ToJSON and FromJSON, to avoid orphan type class instances, make a new type wrapper around it.

Constructors

InternalByteString ByteString

Instances

Eq InternalByteString

Defined in Michelson.Untyped.Value

Methods

(==) :: InternalByteString -> InternalByteString -> Bool

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

Data InternalByteString

Defined in Michelson.Untyped.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InternalByteString -> c InternalByteString

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InternalByteString

toConstr :: InternalByteString -> Constr

dataTypeOf :: InternalByteString -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InternalByteString)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InternalByteString)

gmapT :: (forall b. Data b => b -> b) -> InternalByteString -> InternalByteString

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InternalByteString -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InternalByteString -> r

gmapQ :: (forall d. Data d => d -> u) -> InternalByteString -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> InternalByteString -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InternalByteString -> m InternalByteString

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InternalByteString -> m InternalByteString

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InternalByteString -> m InternalByteString

Show InternalByteString

Defined in Michelson.Untyped.Value

Methods

showsPrec :: Int -> InternalByteString -> ShowS

show :: InternalByteString -> String

showList :: [InternalByteString] -> ShowS

Arbitrary InternalByteString

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen InternalByteString

shrink :: InternalByteString -> [InternalByteString]

ToJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

toJSON :: InternalByteString -> Value

toEncoding :: InternalByteString -> Encoding

toJSONList :: [InternalByteString] -> Value

toEncodingList :: [InternalByteString] -> Encoding

FromJSON InternalByteString

Defined in Michelson.Untyped.Value

Methods

parseJSON :: Value -> Parser InternalByteString

parseJSONList :: Value -> Parser [InternalByteString]

unInternalByteString :: InternalByteString -> ByteString