Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Builtin.Unit

Documentation

data PUnit (s :: S) Source #

Constructors

PUnit

Instances

Instances details

PEq PUnit Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
PIsData PUnit Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PUnit) -> Term s PUnit Source # pdataImpl :: forall (s :: S). Term s PUnit -> Term s PData Source #
PLiftable PUnit Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type AsHaskell PUnit Source # type PlutusRepr PUnit Source # Methods haskToRepr :: AsHaskell PUnit -> PlutusRepr PUnit Source # reprToHask :: PlutusRepr PUnit -> Either LiftError (AsHaskell PUnit) Source # reprToPlut :: forall (s :: S). PlutusRepr PUnit -> PLifted s PUnit Source # plutToRepr :: (forall (s :: S). PLifted s PUnit) -> Either LiftError (PlutusRepr PUnit) Source #
POrd PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Ord 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 # pmax :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PUnit Source # pmin :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PUnit Source #
PlutusType PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType 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 #
PMonoid PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PUnit Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PUnit -> Term s PUnit Source #
PSemigroup PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PUnit Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PUnit -> Term s PUnit Source #
PShow PUnit Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PUnit -> Term s PString Source #
Monoid (Term s PUnit) Source #
Instance details Defined in Plutarch.Builtin.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) Source #
Instance details Defined in Plutarch.Builtin.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 AsHaskell PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Lift type AsHaskell PUnit = AsHaskell (DeriveBuiltinPLiftable PUnit ())
type PlutusRepr PUnit Source #
Instance details Defined in Plutarch.Internal.Lift type PlutusRepr PUnit = PlutusRepr (DeriveBuiltinPLiftable PUnit ())
type PContravariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PUnit = All2 PContravariant'' (PCode PUnit)
type PCovariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PUnit = All2 PCovariant'' (PCode PUnit)
type PInner PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PUnit = PUnit
type PVariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PUnit = All2 PVariant'' (PCode PUnit)

punit :: Term s PUnit Source #