plutus-contract-0.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

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

Defined in Plutus.Contract.Schema

(AllUniqueLabels (Output s), Forall (Output s) FromJSON) => FromJSON (Handlers s) Source # 
Instance details

Defined in Plutus.Contract.Schema

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 #

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

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

Defined in Plutus.Contract.Schema

(AllUniqueLabels (Input s), Forall (Input s) FromJSON) => FromJSON (Event s) Source # 
Instance details

Defined in Plutus.Contract.Schema

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 #

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)