Michelson.Untyped.Contract

Michelson contract in untyped model.

Documentation

type Parameter = Type

type Storage = Type

data Contract' op

Constructors

Contract

Fields

• para :: Parameter
• stor :: Storage
• code :: [op]

Instances

Functor Contract'

Defined in Michelson.Untyped.Contract

Methods

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

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

Eq op => Eq (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

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

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

Data op => Data (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

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

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

toConstr :: Contract' op -> Constr

dataTypeOf :: Contract' op -> DataType

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

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

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

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

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

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

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

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

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

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

Show op => Show (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

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

show :: Contract' op -> String

showList :: [Contract' op] -> ShowS

Generic (Contract' op)

Defined in Michelson.Untyped.Contract

Associated Types

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

Methods

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

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

Arbitrary op => Arbitrary (Contract' op)

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen (Contract' op)

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

ToJSON op => ToJSON (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

toJSON :: Contract' op -> Value

toEncoding :: Contract' op -> Encoding

toJSONList :: [Contract' op] -> Value

toEncodingList :: [Contract' op] -> Encoding

FromJSON op => FromJSON (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

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

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

RenderDoc op => Buildable (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

build :: Contract' op -> Builder

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

Defined in Util.Test.Arbitrary

Methods

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

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

RenderDoc op => RenderDoc (Contract' op)

Defined in Michelson.Untyped.Contract

Methods

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

isRenderable :: Contract' op -> Bool

type Rep (Contract' op)

Defined in Michelson.Untyped.Contract

type Rep (Contract' op) = D1 (MetaData "Contract'" "Michelson.Untyped.Contract" "morley-0.7.0-LSdrRUk5DEH474ZZZf5NDz" False) (C1 (MetaCons "Contract" PrefixI True) (S1 (MetaSel (Just "para") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Parameter) :*: (S1 (MetaSel (Just "stor") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Storage) :*: S1 (MetaSel (Just "code") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [op]))))