plutus-tx- Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred




showNameName → Text Source #

Very nearly the same as showName, but doesn't print uniques, since we don't need to incorporate them into our names.

normalizeTypeTypeType Source #

Normalize a type, in particular getting rid of things like ListT in favour of applications of the actual name.

mkTyVarDeclMonadQuote m ⇒ NameKind () → m (Name, TyVarDecl TyName ()) Source #

isNewtype ∷ DatatypeInfo → Bool Source #

tyListE ∷ [TExpQ a] → TExpQ [a] Source #

Safe wrapper around listE for typed TH.