Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.TermCont

Synopsis

hashOpenTerm :: Term s a -> TermCont s Dig
newtype TermCont :: forall (r :: PType). S -> Type -> Type where
- TermCont :: forall r s a. ((a -> Term s r) -> Term s r) -> TermCont @r s a
$sel:runTermCont:TermCont :: TermCont @r s a -> (a -> Term s r) -> Term s r
unTermCont :: TermCont @a s (Term s a) -> Term s a
tcont :: ((a -> Term s r) -> Term s r) -> TermCont @r s a
pfindPlaceholder :: Integer -> Term s a -> TermCont s Bool
pfindAllPlaceholders :: Term s a -> TermCont s [Integer]

Documentation

newtype TermCont :: forall (r :: PType). S -> Type -> Type where Source #

Constructors

TermCont :: forall r s a. ((a -> Term s r) -> Term s r) -> TermCont @r s a

Instances details

MonadFail (TermCont s) Source #
Instance details Defined in Plutarch.Internal.TermCont Methods fail :: String -> TermCont s a Source #
Applicative (TermCont s) Source #
Instance details Defined in Plutarch.Internal.TermCont Methods pure :: a -> TermCont s a Source # (<>) :: TermCont s (a -> b) -> TermCont s a -> TermCont s b Source # liftA2 :: (a -> b -> c) -> TermCont s a -> TermCont s b -> TermCont s c Source # (>) :: TermCont s a -> TermCont s b -> TermCont s b Source # (<*) :: TermCont s a -> TermCont s b -> TermCont s a Source #
Functor (TermCont s) Source #
Instance details Defined in Plutarch.Internal.TermCont Methods fmap :: (a -> b) -> TermCont s a -> TermCont s b Source # (<$) :: a -> TermCont s b -> TermCont s a Source #
Monad (TermCont s) Source #
Instance details Defined in Plutarch.Internal.TermCont Methods (>>=) :: TermCont s a -> (a -> TermCont s b) -> TermCont s b Source # (>>) :: TermCont s a -> TermCont s b -> TermCont s b Source # return :: a -> TermCont s a Source #

tcont :: ((a -> Term s r) -> Term s r) -> TermCont @r s a Source #

Given a term, and an integer tag, this function checks if the term holds and PPlaceholder with the given integer tag.

Finds all placeholder ids and returns it