Agora.Effect.NoOp

Description

A dumb effect that only burns its GAT.

Synopsis

Documentation

Dummy effect which can only burn its GAT.

Since: 0.1.0

data PNoOp (s :: S) Source #

Dummy datum for NoOp effect.

Since: 0.1.0

Instances details

PIsData PNoOp Source #	Since: 0.1.0
Instance details Defined in Agora.Effect.NoOp Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PNoOp) -> Term s PNoOp Source # pdataImpl :: forall (s :: S). Term s PNoOp -> Term s PData Source #
PlutusType PNoOp Source #
Instance details Defined in Agora.Effect.NoOp Associated Types type PInner PNoOp b' :: PType Source # Methods pcon' :: forall (s :: S) (b :: PType). PNoOp s -> Term s (PInner PNoOp b) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PNoOp b) -> (PNoOp s -> Term s b) -> Term s b Source #
PTryFrom PData (PAsData PNoOp) Source #	Since: 0.1.0
Instance details Defined in Agora.Effect.NoOp Associated Types type PTryFromExcess PData (PAsData PNoOp) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PNoOp), Reduce (PTryFromExcess PData (PAsData PNoOp) s)) -> Term s r) -> Term s r Source #
type PInner PNoOp b' Source #	Since: 0.1.0
Instance details Defined in Agora.Effect.NoOp type PInner PNoOp b' = PInner (DerivePNewtype PNoOp (PUnit :: S -> Type)) b'
type PTryFromExcess PData (PAsData PNoOp) Source #
Instance details Defined in Agora.Effect.NoOp type PTryFromExcess PData (PAsData PNoOp) = Const () :: S -> Type