plutus-contract-1.1.0.0
Safe HaskellNone
LanguageHaskell2010

Plutus.Contract.Schema

Documentation

newtype Handlers s Source #

Constructors

Handlers 

Fields

Instances

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 #

Forall (Output s) ToJSON => ToJSON (Handlers s) Source # 
Instance details

Defined in Plutus.Contract.Schema

Methods

toJSON :: Handlers s -> Value Source #

toEncoding :: Handlers s -> Encoding Source #

toJSONList :: [Handlers s] -> Value Source #

toEncodingList :: [Handlers s] -> Encoding 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) Source #

parseJSONList :: Value -> Parser [Handlers s] Source #

Forall (Output s) Pretty => Pretty (Handlers s) Source # 
Instance details

Defined in Plutus.Contract.Schema

Methods

pretty :: Handlers s -> Doc ann Source #

prettyList :: [Handlers s] -> Doc ann Source #

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

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

newtype Event s Source #

Constructors

Event 

Fields

Instances

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 #

Forall (Input s) ToJSON => ToJSON (Event s) Source # 
Instance details

Defined in Plutus.Contract.Schema

Methods

toJSON :: Event s -> Value Source #

toEncoding :: Event s -> Encoding Source #

toJSONList :: [Event s] -> Value Source #

toEncodingList :: [Event s] -> Encoding 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) Source #

parseJSONList :: Value -> Parser [Event s] Source #

Forall (Input s) Pretty => Pretty (Event s) Source # 
Instance details

Defined in Plutus.Contract.Schema

Methods

pretty :: Event s -> Doc ann Source #

prettyList :: [Event s] -> Doc ann Source #

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) 

type EmptySchema = Empty Source #