Morley.Michelson.Typed.Existential

SomeConstrainedValue and derivatives

data Constrained c f where

Bundled Patterns

pattern SomeConstrainedValue :: forall c. () => forall a. c a => Value a -> 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

FromJSON Address

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Morley.Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

HasRPCRepr Address

Defined in Morley.AsRPC

Associated Types

type AsRPC Address

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

IsoValue Address

Defined in Morley.Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

HasCLReader Address

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM Address

getMetavar :: String

(forall (a :: k). c a => Lift (f a)) => Lift (Constrained c f :: Type)

Defined in Morley.Util.Constrained

Methods

lift :: Quote m => Constrained c f -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Constrained c f -> Code m (Constrained c f)

SingI kinds => FromJSON (ConstrainedAddress kinds)

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser (ConstrainedAddress kinds)

parseJSONList :: Value -> Parser [ConstrainedAddress kinds]

(forall (t :: T). cs t => HasNoOp t) => RenderDoc (SomeConstrainedValue cs)

Defined in Morley.Michelson.Typed.Existential

Methods

renderDoc :: RenderContext -> SomeConstrainedValue cs -> Doc

isRenderable :: SomeConstrainedValue cs -> Bool

SingI ks => HasCLReader (ConstrainedAddress ks)

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM (ConstrainedAddress ks)

getMetavar :: String

ToJSON (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSON :: Constrained c KindedAddress -> Value

toEncoding :: Constrained c KindedAddress -> Encoding

toJSONList :: [Constrained c KindedAddress] -> Value

toEncodingList :: [Constrained c KindedAddress] -> Encoding

ToJSONKey (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSONKey :: ToJSONKeyFunction (Constrained c KindedAddress)

toJSONKeyList :: ToJSONKeyFunction [Constrained c KindedAddress]

(forall (a :: k). c a => Show (f a)) => Show (Constrained c f)

Defined in Morley.Util.Constrained

Methods

showsPrec :: Int -> Constrained c f -> ShowS

show :: Constrained c f -> String

showList :: [Constrained c f] -> ShowS

(forall (a :: k). c a => NFData (f a)) => NFData (Constrained c f)

Defined in Morley.Util.Constrained

Methods

rnf :: Constrained c f -> ()

(forall (a :: k). c a => Buildable (f a)) => Buildable (Constrained c f)

Defined in Morley.Util.Constrained

Methods

build :: Constrained c f -> Builder

GEq f => Eq (Constrained c f)

Defined in Morley.Util.Constrained

Methods

(==) :: Constrained c f -> Constrained c f -> Bool

(/=) :: Constrained c f -> Constrained c f -> Bool

GCompare f => Ord (Constrained c f)

Defined in Morley.Util.Constrained

Methods

compare :: Constrained c f -> Constrained c f -> Ordering

(<) :: Constrained c f -> Constrained c f -> Bool

(<=) :: Constrained c f -> Constrained c f -> Bool

(>) :: Constrained c f -> Constrained c f -> Bool

(>=) :: Constrained c f -> Constrained c f -> Bool

max :: Constrained c f -> Constrained c f -> Constrained c f

min :: Constrained c f -> Constrained c f -> Constrained c f

type AsRPC Address

Defined in Morley.AsRPC

type AsRPC Address = Address

type TypeDocFieldDescriptions Address

Defined in Morley.Michelson.Typed.Haskell.Doc

type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Address

Defined in Morley.Michelson.Typed.Haskell.Value

type ToT Address = 'TAddress

type SomeConstrainedValue c = Constrained c Value

type SomeConstant = SomeConstrainedValue ConstantScope

type SomeValue = SomeConstrainedValue SingI

type SomeStorage = SomeConstrainedValue StorageScope

type SomePackedVal = SomeConstrainedValue PackedValScope

Other existentials

data SomeContract where

Constructors

SomeContract :: Contract cp st -> SomeContract

Instances

Show SomeContract

Defined in Morley.Michelson.Typed.Existential

Methods

showsPrec :: Int -> SomeContract -> ShowS

show :: SomeContract -> String

showList :: [SomeContract] -> ShowS

NFData SomeContract

Defined in Morley.Michelson.Typed.Existential

Methods

rnf :: SomeContract -> ()

data SomeContractAndStorage where

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

Defined in Morley.Michelson.Typed.Existential

Methods

showsPrec :: Int -> SomeContractAndStorage -> ShowS

show :: SomeContractAndStorage -> String

showList :: [SomeContractAndStorage] -> ShowS

data SomeIsoValue where

Hides some Haskell value put in line with Michelson Value.

Constructors

SomeIsoValue :: KnownIsoT a => a -> SomeIsoValue

data SomeVBigMap where

Constructors

SomeVBigMap :: forall k v. Value ('TBigMap k v) -> SomeVBigMap

Orphan instances

(forall (t :: T). cs t => HasNoOp t) => RenderDoc (SomeConstrainedValue cs)

Methods

renderDoc :: RenderContext -> SomeConstrainedValue cs -> Doc

isRenderable :: SomeConstrainedValue cs -> Bool