Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Test

Contents

Orphan instances

Synopsis

ppCatch ∷ (a → Doc ann) → ExceptT SomeException IO a → IO Text
asIfThrown ∷ Exception e ⇒ Except e a → ExceptT SomeException IO a
compileWithOpts ∷ (GEq uni, Typecheckable uni fun, Ord a, PrettyUni uni, Pretty fun, Pretty a, Default (BuiltinsInfo uni fun), Default (CostingPart uni fun), Default (RewriteRules uni fun)) ⇒ (CompilationCtx uni fun a → CompilationCtx uni fun a) → Program TyName Name uni fun a → Except (Error uni fun (Provenance a)) (Program TyName Name uni fun (Provenance a))
pTermAsProg ∷ Parser (Program TyName Name DefaultUni DefaultFun SrcSpan)
withGoldenFileM ∷ String → (Text → IO Text) → TestNested
goldenPir ∷ PrettyPlc b ⇒ (a → b) → Parser a → String → TestNested
goldenPirM ∷ ∀ a b. PrettyPlc b ⇒ (a → IO b) → Parser a → String → TestNested
goldenPirUnique ∷ Pretty b ⇒ (a → b) → Parser a → String → TestNested
goldenPirMUnique ∷ ∀ a b. Pretty b ⇒ (a → IO b) → Parser a → String → TestNested
goldenPirDoc ∷ (a → Doc ann) → Parser a → String → TestNested
goldenPirDocM ∷ ∀ a ann. (a → IO (Doc ann)) → Parser a → String → TestNested
goldenPlcFromPir ∷ ToTPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested
goldenPlcFromPirScott ∷ (Ord a, Typeable a, Pretty a, prog ~ Program TyName Name DefaultUni DefaultFun a) ⇒ Parser prog → String → TestNested
goldenNamedUPlcFromPir ∷ ToUPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested
goldenEvalPir ∷ ToUPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested
goldenTypeFromPir ∷ ∀ a. (Pretty a, Typeable a) ⇒ a → Parser (Term TyName Name DefaultUni DefaultFun a) → String → TestNested
initialSrcSpan ∷ FilePath → SrcSpan
topSrcSpan ∷ SrcSpan
rethrow ∷ ExceptT SomeException IO a → IO a
prettyPlcClassicSimple ∷ PrettyPlc a ⇒ a → Doc ann

Documentation

ppCatch ∷ (a → Doc ann) → ExceptT SomeException IO a → IO Text Source #

asIfThrown ∷ Exception e ⇒ Except e a → ExceptT SomeException IO a Source #

Adapt an computation that keeps its errors in an Except into one that looks as if it caught them in IO.

compileWithOpts ∷ (GEq uni, Typecheckable uni fun, Ord a, PrettyUni uni, Pretty fun, Pretty a, Default (BuiltinsInfo uni fun), Default (CostingPart uni fun), Default (RewriteRules uni fun)) ⇒ (CompilationCtx uni fun a → CompilationCtx uni fun a) → Program TyName Name uni fun a → Except (Error uni fun (Provenance a)) (Program TyName Name uni fun (Provenance a)) Source #

pTermAsProg ∷ Parser (Program TyName Name DefaultUni DefaultFun SrcSpan) Source #

withGoldenFileM ∷ String → (Text → IO Text) → TestNested Source #

goldenPir ∷ PrettyPlc b ⇒ (a → b) → Parser a → String → TestNested Source #

goldenPirM ∷ ∀ a b. PrettyPlc b ⇒ (a → IO b) → Parser a → String → TestNested Source #

goldenPirUnique ∷ Pretty b ⇒ (a → b) → Parser a → String → TestNested Source #

goldenPirMUnique ∷ ∀ a b. Pretty b ⇒ (a → IO b) → Parser a → String → TestNested Source #

goldenPirDoc ∷ (a → Doc ann) → Parser a → String → TestNested Source #

goldenPirDocM ∷ ∀ a ann. (a → IO (Doc ann)) → Parser a → String → TestNested Source #

goldenPlcFromPir ∷ ToTPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested Source #

goldenPlcFromPirScott ∷ (Ord a, Typeable a, Pretty a, prog ~ Program TyName Name DefaultUni DefaultFun a) ⇒ Parser prog → String → TestNested Source #

goldenNamedUPlcFromPir ∷ ToUPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested Source #

goldenEvalPir ∷ ToUPlc a DefaultUni DefaultFun ⇒ Parser a → String → TestNested Source #

goldenTypeFromPir ∷ ∀ a. (Pretty a, Typeable a) ⇒ a → Parser (Term TyName Name DefaultUni DefaultFun a) → String → TestNested Source #

initialSrcSpan ∷ FilePath → SrcSpan Source #

A made-up SrcSpan for testing.

topSrcSpan ∷ SrcSpan Source #

rethrow ∷ ExceptT SomeException IO a → IO a Source #

prettyPlcClassicSimple ∷ PrettyPlc a ⇒ a → Doc ann Source #

Pretty-print a PLC value without unique indices using the classic view.

Orphan instances

(GEq uni, Typecheckable uni fun, PrettyUni uni, Pretty fun, Pretty a, Typeable a, Ord a, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun)) ⇒ ToTPlc (Program TyName Name uni fun a) uni fun Source #
Instance details Methods toTPlc ∷ Program TyName Name uni fun a → ExceptT SomeException IO (Program0 TyName Name uni fun ()) Source #
(GEq uni, Typecheckable uni fun, PrettyUni uni, Pretty fun, Hashable fun, Pretty a, Typeable a, Ord a, Default (CostingPart uni fun), Default (BuiltinsInfo uni fun), Default (RewriteRules uni fun)) ⇒ ToUPlc (Program TyName Name uni fun a) uni fun Source #
Instance details Methods toUPlc ∷ Program TyName Name uni fun a → ExceptT SomeException IO (Program0 Name uni fun ()) Source #