Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Unit

Contents

Orphan instances

Documentation

data PUnit s Source #

Constructors

PUnit

Instances

Instances details

PEq (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods (#==) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
POrd (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit
PPartialOrd (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods (#<=) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source # (#<) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
PIsData (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PUnit) -> Term s PUnit Source # pdataImpl :: forall (s :: S). Term s PUnit -> Term s PData Source #
PlutusType (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Associated Types type PInner PUnit :: PType Source # type PCovariant' PUnit Source # type PContravariant' PUnit Source # type PVariant' PUnit Source # Methods pcon' :: forall (s :: S). PUnit s -> Term s (PInner PUnit) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PUnit) -> (PUnit s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Associated Types type PLifted PUnit = (r :: Type) Source #
PShow (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods pshow' :: forall (s :: S). Bool -> Term s PUnit -> Term s PString Source #
Monoid (Term s (PUnit :: S -> Type)) Source #
Instance details Defined in Plutarch.Unit Methods mempty :: Term s PUnit Source # mappend :: Term s PUnit -> Term s PUnit -> Term s PUnit Source # mconcat :: [Term s PUnit] -> Term s PUnit Source #
Semigroup (Term s (PUnit :: S -> Type)) Source #
Instance details Defined in Plutarch.Unit Methods (<>) :: Term s PUnit -> Term s PUnit -> Term s PUnit Source # sconcat :: NonEmpty (Term s PUnit) -> Term s PUnit Source # stimes :: Integral b => b -> Term s PUnit -> Term s PUnit Source #
type PContravariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PContravariant' (PUnit :: S -> Type)
type PCovariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PCovariant' (PUnit :: S -> Type)
type PInner (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PInner (PUnit :: S -> Type) = PUnit :: S -> Type
type PVariant' (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PVariant' (PUnit :: S -> Type)
type PLifted (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PLifted (PUnit :: S -> Type) = ()

Orphan instances

PConstantDecl () Source #
Instance details Associated Types type PConstantRepr () Source # type PConstanted () :: PType Source # Methods pconstantToRepr :: () -> PConstantRepr () Source # pconstantFromRepr :: PConstantRepr () -> Maybe () Source #