Documentation

type Term = Term Name DefaultUni DefaultFun () Source #

runPlcCek ∷ ToUPlc a DefaultUni DefaultFun ⇒ a → ExceptT SomeException IO (Term Name DefaultUni DefaultFun ()) Source #

runPlcCekTrace ∷ ToUPlc a DefaultUni DefaultFun ⇒ a → ExceptT SomeException IO ([Text], CekExTally DefaultFun, Term Name DefaultUni DefaultFun ()) Source #

runPlcCekBudget ∷ ToUPlc a DefaultUni DefaultFun ⇒ a → ExceptT SomeException IO (Term Name DefaultUni DefaultFun (), ExBudget) Source #