Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Schema

Documentation

Constructors

Handlers
Fields unHandlers :: Var (Output s)

Instances details

Forall (Output s) Eq => Eq (Handlers s) Source #
Instance details Defined in Plutus.Contract.Schema Methods (==) :: Handlers s -> Handlers s -> Bool Source # (/=) :: Handlers s -> Handlers s -> Bool Source #
Forall (Output s) Show => Show (Handlers s) Source #
Instance details Defined in Plutus.Contract.Schema Methods showsPrec :: Int -> Handlers s -> ShowS Source # show :: Handlers s -> String Source # showList :: [Handlers s] -> ShowS Source #
(AllUniqueLabels (Output s), Forall (Output s) FromJSON) => FromJSON (Handlers s) Source #
Instance details Defined in Plutus.Contract.Schema Methods parseJSON :: Value -> Parser (Handlers s) parseJSONList :: Value -> Parser [Handlers s]
Forall (Output s) ToJSON => ToJSON (Handlers s) Source #
Instance details Defined in Plutus.Contract.Schema Methods toJSON :: Handlers s -> Value toEncoding :: Handlers s -> Encoding toJSONList :: [Handlers s] -> Value toEncodingList :: [Handlers s] -> Encoding
Forall (Output s) Pretty => Pretty (Handlers s) Source #
Instance details Defined in Plutus.Contract.Schema Methods pretty :: Handlers s -> Doc ann prettyList :: [Handlers s] -> Doc ann

handlerName :: Forall (Output s) Unconstrained1 => Handlers s -> String Source #

handlerArgument :: Forall (Output s) ToJSON => Handlers s -> Value Source #

Constructors

Event
Fields unEvent :: Var (Input s)

Instances details

Forall (Input s) Eq => Eq (Event s) Source #
Instance details Defined in Plutus.Contract.Schema Methods (==) :: Event s -> Event s -> Bool Source # (/=) :: Event s -> Event s -> Bool Source #
Forall (Input s) Show => Show (Event s) Source #
Instance details Defined in Plutus.Contract.Schema Methods showsPrec :: Int -> Event s -> ShowS Source # show :: Event s -> String Source # showList :: [Event s] -> ShowS Source #
(AllUniqueLabels (Input s), Forall (Input s) FromJSON) => FromJSON (Event s) Source #
Instance details Defined in Plutus.Contract.Schema Methods parseJSON :: Value -> Parser (Event s) parseJSONList :: Value -> Parser [Event s]
Forall (Input s) ToJSON => ToJSON (Event s) Source #
Instance details Defined in Plutus.Contract.Schema Methods toJSON :: Event s -> Value toEncoding :: Event s -> Encoding toJSONList :: [Event s] -> Value toEncodingList :: [Event s] -> Encoding
Forall (Input s) Pretty => Pretty (Event s) Source #
Instance details Defined in Plutus.Contract.Schema Methods pretty :: Event s -> Doc ann prettyList :: [Event s] -> Doc ann

eventName :: Forall (Input s) Unconstrained1 => Event s -> String Source #

initialise :: forall (s :: Row *) l a. (KnownSymbol l, AllUniqueLabels (Output s), HasType l a (Output s)) => a -> Handlers s Source #

type family Input (r :: Row *) where ... Source #

Equations

Input ('R r) = 'R (InputR r)

type family Output (r :: Row *) where ... Source #

Equations

Output ('R r) = 'R (OutputR r)