| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Repr.Scott
Synopsis
- newtype PScottStruct (struct :: [[S -> Type]]) (s :: S) = PScottStruct {
- unPScottStruct :: PStruct struct s
- newtype PScottRec (struct :: [S -> Type]) (s :: S) = PScottRec {
- unPScottRec :: PRec struct s
- newtype PScottStructInner a r s = PScottStructInner (Term s (ScottFn (ScottList a r) r))
- newtype PScottRecInner a r s = PScottRecInner (Term s (ScottFn a r))
- newtype DeriveAsScottStruct (a :: S -> Type) s = DeriveAsScottStruct {
- unDeriveAsScottStruct :: a s
- newtype DeriveAsScottRec (a :: S -> Type) s = DeriveAsScottRec {
- unDeriveAsScottRec :: a s
Documentation
newtype PScottStruct (struct :: [[S -> Type]]) (s :: S) Source #
Since: 1.10.0
Constructors
| PScottStruct | |
Fields
| |
Instances
| (PlutusType (PScottStruct struct), SListI2 struct, All2 PEq struct) => PEq (PScottStruct struct) Source # | Since: 1.10.0 |
Defined in Plutarch.Repr.Scott Methods (#==) :: forall (s :: S). Term s (PScottStruct struct) -> Term s (PScottStruct struct) -> Term s PBool Source # | |
| (SListI2 struct, PScottStructConstraint struct) => PlutusType (PScottStruct struct) Source # | Since: 1.10.0 |
Defined in Plutarch.Repr.Scott Methods pcon' :: forall (s :: S). PScottStruct struct s -> Term s (PInner (PScottStruct struct)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (PScottStruct struct)) -> (PScottStruct struct s -> Term s b) -> Term s b Source # | |
| type PInner (PScottStruct struct) Source # | |
Defined in Plutarch.Repr.Scott | |
newtype PScottRec (struct :: [S -> Type]) (s :: S) Source #
Since: 1.10.0
Constructors
| PScottRec | |
Fields
| |
Instances
| All PEq struct => PEq (PScottRec struct) Source # | Since: 1.10.0 |
| SListI struct => PlutusType (PScottRec struct) Source # | Since: 1.10.0 |
Defined in Plutarch.Repr.Scott | |
| type PInner (PScottRec struct) Source # | |
Defined in Plutarch.Repr.Scott | |
newtype PScottStructInner a r s Source #
Since: 1.10.0
Constructors
| PScottStructInner (Term s (ScottFn (ScottList a r) r)) |
newtype DeriveAsScottStruct (a :: S -> Type) s Source #
Since: 1.10.0
Constructors
| DeriveAsScottStruct | |
Fields
| |
Instances
| (Generic (a (Any :: S)), struct ~ UnTermStruct (a (Any :: S)), SListI2 struct, forall (s :: S). StructSameRepr s a struct, PScottStructConstraint struct) => PlutusType (DeriveAsScottStruct a) Source # | Since: 1.10.0 |
Defined in Plutarch.Repr.Scott Methods pcon' :: forall (s :: S). DeriveAsScottStruct a s -> Term s (PInner (DeriveAsScottStruct a)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (DeriveAsScottStruct a)) -> (DeriveAsScottStruct a s -> Term s b) -> Term s b Source # | |
| type PInner (DeriveAsScottStruct a) Source # | |
Defined in Plutarch.Repr.Scott | |
newtype DeriveAsScottRec (a :: S -> Type) s Source #
Since: 1.10.0
Constructors
| DeriveAsScottRec | |
Fields
| |
Instances
| (Generic (a (Any :: S)), '[struct'] ~ Code (a (Any :: S)), struct ~ UnTermRec struct', SListI struct, forall (s :: S). StructSameRepr s a '[struct], RecTypePrettyError (Code (a (Any :: S)))) => PlutusType (DeriveAsScottRec a) Source # | Since: 1.10.0 |
Defined in Plutarch.Repr.Scott Methods pcon' :: forall (s :: S). DeriveAsScottRec a s -> Term s (PInner (DeriveAsScottRec a)) Source # pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner (DeriveAsScottRec a)) -> (DeriveAsScottRec a s -> Term s b) -> Term s b Source # | |
| type PInner (DeriveAsScottRec a) Source # | |
Defined in Plutarch.Repr.Scott | |