Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Repr.Tag

Synopsis

newtype PTag (struct :: [S -> Type]) (s :: S) = PTag {
- unPTag :: Term s PInteger
}
newtype DeriveAsTag (a :: S -> Type) s = DeriveAsTag {
- unDeriveAsTag :: a s
}
newtype TagLiftHelper r struct = TagLiftHelper {
- unTagLiftHelper :: Integer -> (SOP I struct -> r) -> r
}

Documentation

newtype PTag (struct :: [S -> Type]) (s :: S) Source #

Since: 1.10.0

Constructors

PTag
Fields unPTag :: Term s PInteger Since: 1.10.0

Instances

Instances details

PlutusType (PTag struct) Source #
Instance details Defined in Plutarch.Repr.Tag Associated Types type PInner (PTag struct) :: S -> Type Source # Methods pcon' :: forall (s :: S). PTag struct s -> Term s (PInner (PTag struct)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PTag struct)) -> (PTag struct s -> Term s b) -> Term s b Source #
Generic (PTag struct s) Source #
Instance details Defined in Plutarch.Repr.Tag Associated Types type Rep (PTag struct s) :: Type -> Type Source # Methods from :: PTag struct s -> Rep (PTag struct s) x Source # to :: Rep (PTag struct s) x -> PTag struct s Source #
Generic (PTag struct s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Tag Associated Types type Code (PTag struct s) :: [[Type]] Methods from :: PTag struct s -> Rep (PTag struct s) to :: Rep (PTag struct s) -> PTag struct s
type PInner (PTag struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Tag type PInner (PTag struct) = PInner (DeriveNewtypePlutusType (PTag struct))
type Rep (PTag struct s) Source #
Instance details Defined in Plutarch.Repr.Tag type Rep (PTag struct s) = D1 ('MetaData "PTag" "Plutarch.Repr.Tag" "plutarch-1.14.0-DxKJeQlSo9oLhPFmYEjfmO" 'True) (C1 ('MetaCons "PTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger))))
type Code (PTag struct s) Source #
Instance details Defined in Plutarch.Repr.Tag type Code (PTag struct s) = GCode (PTag struct s)

newtype DeriveAsTag (a :: S -> Type) s Source #

Since: 1.10.0

Constructors

DeriveAsTag
Fields unDeriveAsTag :: a s Since: 1.10.0

Instances

Instances details

(PlutusType (DeriveAsTag a), Generic (a (Any :: S)), TagTypeConstraints (Any :: S) a struct) => PLiftable (DeriveAsTag a) Source #
Instance details Defined in Plutarch.Repr.Tag Associated Types type AsHaskell (DeriveAsTag a) Source # type PlutusRepr (DeriveAsTag a) Source # Methods haskToRepr :: AsHaskell (DeriveAsTag a) -> PlutusRepr (DeriveAsTag a) Source # reprToHask :: PlutusRepr (DeriveAsTag a) -> Either LiftError (AsHaskell (DeriveAsTag a)) Source # reprToPlut :: forall (s :: S). PlutusRepr (DeriveAsTag a) -> PLifted s (DeriveAsTag a) Source # plutToRepr :: (forall (s :: S). PLifted s (DeriveAsTag a)) -> Either LiftError (PlutusRepr (DeriveAsTag a)) Source #
Generic (a (Any :: S)) => PValidateData (DeriveAsTag a) Source #	Checks that we have an `I`, and that it is in the range `[0, n - 1]`, where `n` is the number of 'arms' in the encoded sum type. Since: 1.12.0
Instance details Defined in Plutarch.Internal.Parse Methods pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r Source #
(forall (s :: S). TagTypeConstraints s a struct) => PlutusType (DeriveAsTag a) Source #	This derives tag-only PlutusType automatically. Resulted instances will use `PInteger` as underlying type, making this much more efficient than using regular DataScottSOP based encoding. As name suggests, types with no-argument constructors can use this. Example: @@ data PFoo s = A \| B \| C \| D \| E deriving stock (GHC.Generic, Show) deriving anyclass (PEq, PIsData) deriving (PlutusType, PLiftable) via DeriveAsTag PFoo instance SOP.Generic (PFoo s) @@ Since: 1.10.0
Instance details Defined in Plutarch.Repr.Tag Associated Types type PInner (DeriveAsTag a) :: S -> Type Source # Methods pcon' :: forall (s :: S). DeriveAsTag a s -> Term s (PInner (DeriveAsTag a)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (DeriveAsTag a)) -> (DeriveAsTag a s -> Term s b) -> Term s b Source #
type AsHaskell (DeriveAsTag a) Source #
Instance details Defined in Plutarch.Repr.Tag type AsHaskell (DeriveAsTag a) = a (Any :: S)
type PlutusRepr (DeriveAsTag a) Source #
Instance details Defined in Plutarch.Repr.Tag type PlutusRepr (DeriveAsTag a) = Integer
type PInner (DeriveAsTag a) Source #
Instance details Defined in Plutarch.Repr.Tag type PInner (DeriveAsTag a) = PInteger

newtype TagLiftHelper r struct Source #

Since: 1.10.0

Constructors

TagLiftHelper
Fields unTagLiftHelper :: Integer -> (SOP I struct -> r) -> r Since: 1.10.0