Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data SomeConstrainedValue (c :: T -> Constraint) where
- SomeConstrainedValue :: forall t c. c t => Value t -> SomeConstrainedValue c
- pattern SomeValue :: () => SingI t => Value t -> SomeValue
- pattern SomeConstant :: () => ConstantScope t => Value t -> SomeConstant
- pattern SomeStorage :: () => StorageScope t => Value t -> SomeStorage
- pattern SomePackedVal :: () => PackedValScope t => Value t -> SomePackedVal
- type SomeConstant = SomeConstrainedValue ConstantScope
- type SomeValue = SomeConstrainedValue SingI
- type SomeStorage = SomeConstrainedValue StorageScope
- type SomePackedVal = SomeConstrainedValue PackedValScope
- 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
SomeConstrainedValue and derivatives
data SomeConstrainedValue (c :: T -> Constraint) where Source #
SomeConstrainedValue :: forall t c. c t => Value t -> SomeConstrainedValue c |
pattern SomeValue :: () => SingI t => Value t -> SomeValue | |
pattern SomeConstant :: () => ConstantScope t => Value t -> SomeConstant | |
pattern SomeStorage :: () => StorageScope t => Value t -> SomeStorage | |
pattern SomePackedVal :: () => PackedValScope t => Value t -> SomePackedVal |
Instances
Show (SomeConstrainedValue c) Source # | |
Defined in Morley.Michelson.Typed.Existential showsPrec :: Int -> SomeConstrainedValue c -> ShowS # show :: SomeConstrainedValue c -> String # showList :: [SomeConstrainedValue c] -> ShowS # | |
Buildable (SomeConstrainedValue c) Source # | |
Defined in Morley.Michelson.Typed.Existential build :: SomeConstrainedValue c -> Builder # | |
(forall (t :: T). cs t => SingI t) => Eq (SomeConstrainedValue cs) Source # | |
Defined in Morley.Michelson.Typed.Existential (==) :: SomeConstrainedValue cs -> SomeConstrainedValue cs -> Bool # (/=) :: SomeConstrainedValue cs -> SomeConstrainedValue cs -> Bool # | |
(forall (t :: T). cs t => HasNoOp t) => RenderDoc (SomeConstrainedValue cs) Source # | |
Defined in Morley.Michelson.Typed.Existential renderDoc :: RenderContext -> SomeConstrainedValue cs -> Doc Source # isRenderable :: SomeConstrainedValue cs -> Bool Source # |
type SomeValue = SomeConstrainedValue SingI Source #
Other existentials
data SomeContract where Source #
SomeContract :: Contract cp st -> SomeContract |
Instances
Show SomeContract Source # | |
Defined in Morley.Michelson.Typed.Existential showsPrec :: Int -> SomeContract -> ShowS # show :: SomeContract -> String # showList :: [SomeContract] -> ShowS # | |
NFData SomeContract Source # | |
Defined in Morley.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 Morley.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 |