Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Unit

Documentation

data PUnit s Source #

Constructors

PUnit

Instances

Instances details

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 #
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 #
PLiftable (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Associated Types type AsHaskell PUnit Source # type PlutusRepr PUnit Source # Methods toPlutarchRepr :: AsHaskell PUnit -> PlutusRepr PUnit Source # toPlutarch :: forall (s :: S). AsHaskell PUnit -> PLifted s PUnit Source # fromPlutarchRepr :: PlutusRepr PUnit -> Maybe (AsHaskell PUnit) Source # fromPlutarch :: (forall (s :: S). PLifted s PUnit) -> Either LiftError (AsHaskell PUnit) Source #
POrd (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods 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 #
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 # (#>=) :: 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 #
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 #
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 AsHaskell (PUnit :: S -> Type) Source #	@since WIP
Instance details Defined in Plutarch.Unit type AsHaskell (PUnit :: S -> Type) = AsHaskell (DeriveBuiltinPLiftable (PUnit :: S -> Type) ())
type PlutusRepr (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit type PlutusRepr (PUnit :: S -> Type) = PlutusRepr (DeriveBuiltinPLiftable (PUnit :: S -> Type) ())
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)