| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Plutarch.Extra.Field
Synopsis
- pletAll :: forall (a :: S -> Type) (s :: S) (b :: S -> Type) (ps :: [PLabeledType]) bs. (PDataFields a, ps ~ PFields a, bs ~ Bindings ps (BindAll ps), BindFields ps bs) => Term s a -> (HRecOf a (BindAll ps) s -> Term s b) -> Term s b
- pletAllC :: forall (a :: S -> Type) (s :: S) (b :: S -> Type) (ps :: [PLabeledType]) bs. (PDataFields a, ps ~ PFields a, bs ~ Bindings ps (BindAll ps), BindFields ps bs) => Term s a -> TermCont @b s (HRec (BoundTerms ps bs s))
Documentation
pletAll :: forall (a :: S -> Type) (s :: S) (b :: S -> Type) (ps :: [PLabeledType]) bs. (PDataFields a, ps ~ PFields a, bs ~ Bindings ps (BindAll ps), BindFields ps bs) => Term s a -> (HRecOf a (BindAll ps) s -> Term s b) -> Term s b Source #
Same as pletFields but instead of specifiying fields, it will take all fields.
Since: 1.3.0
pletAllC :: forall (a :: S -> Type) (s :: S) (b :: S -> Type) (ps :: [PLabeledType]) bs. (PDataFields a, ps ~ PFields a, bs ~ Bindings ps (BindAll ps), BindFields ps bs) => Term s a -> TermCont @b s (HRec (BoundTerms ps bs s)) Source #
TermCont version of pletAll
Since: 1.3.0