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