| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Typed.Existential
Synopsis
- data SomeConstant where
- SomeConstant :: (ConstantScope t, SingI t) => Value t -> SomeConstant
- data SomeConstrainedValue (c :: T -> Constraint) where
- SomeConstrainedValue :: forall (t :: T) (c :: T -> Constraint). c t => Value t -> SomeConstrainedValue c
- data SomeContract where
- SomeContract :: Contract cp st -> SomeContract
- data SomeContractAndStorage where
- SomeContractAndStorage :: forall cp st. (StorageScope st, ParameterScope cp) => Contract cp st -> Value st -> SomeContractAndStorage
- data SomeIsoValue where
- SomeIsoValue :: KnownIsoT a => a -> SomeIsoValue
- data SomeValue where
- data SomeStorage where
- SomeStorage :: forall st. StorageScope st => Value st -> SomeStorage
Documentation
data SomeConstant where Source #
Constructors
| SomeConstant :: (ConstantScope t, SingI t) => Value t -> SomeConstant |
Instances
| Buildable SomeConstant Source # | |
Defined in Morley.Michelson.Typed.Existential Methods build :: SomeConstant -> Builder # | |
| RenderDoc SomeConstant Source # | |
Defined in Morley.Michelson.Typed.Existential Methods renderDoc :: RenderContext -> SomeConstant -> Doc Source # isRenderable :: SomeConstant -> Bool Source # | |
data SomeConstrainedValue (c :: T -> Constraint) where Source #
Constructors
| SomeConstrainedValue :: forall (t :: T) (c :: T -> Constraint). c t => Value t -> SomeConstrainedValue c |
Instances
| Show (SomeConstrainedValue c) Source # | |
Defined in Morley.Michelson.Typed.Existential Methods showsPrec :: Int -> SomeConstrainedValue c -> ShowS # show :: SomeConstrainedValue c -> String # showList :: [SomeConstrainedValue c] -> ShowS # | |
data SomeContract where Source #
Constructors
| SomeContract :: Contract cp st -> SomeContract |
Instances
| Show SomeContract Source # | |
Defined in Morley.Michelson.Typed.Existential Methods showsPrec :: Int -> SomeContract -> ShowS # show :: SomeContract -> String # showList :: [SomeContract] -> ShowS # | |
| NFData SomeContract Source # | |
Defined in Morley.Michelson.Typed.Existential Methods rnf :: SomeContract -> () # | |
data SomeContractAndStorage where Source #
Represents a typed contract & a storage value of the type expected by the contract.
Constructors
| SomeContractAndStorage :: forall cp st. (StorageScope st, ParameterScope cp) => Contract cp st -> Value st -> SomeContractAndStorage |
Instances
| Show SomeContractAndStorage Source # | |
Defined in Morley.Michelson.Typed.Existential Methods showsPrec :: Int -> SomeContractAndStorage -> ShowS # show :: SomeContractAndStorage -> String # showList :: [SomeContractAndStorage] -> ShowS # | |
data SomeIsoValue where Source #
Hides some Haskell value put in line with Michelson Value.
Constructors
| SomeIsoValue :: KnownIsoT a => a -> SomeIsoValue |
data SomeStorage where Source #
Constructors
| SomeStorage :: forall st. StorageScope st => Value st -> SomeStorage |
Instances
| Show SomeStorage Source # | |
Defined in Morley.Michelson.Typed.Existential Methods showsPrec :: Int -> SomeStorage -> ShowS # show :: SomeStorage -> String # showList :: [SomeStorage] -> ShowS # | |