Idrall.APIv1

Reexports

Definitions

exprFromString : String -> IOEither Error (Expr Void)

Visibility: public export

resolveFromString : Maybe FilePath -> String -> IOEither Error (Expr Void)

Visibility: export

roundTripEval : String -> IOEither Error Value

Visibility: public export

roundTripCheckEval : String -> IOEither Error Value

Visibility: export

roundTripEvalQuote : String -> IOEither Error (Expr Void)

Visibility: export

roundTripCheckEvalQuote : String -> IOEither Error (Expr Void)

Visibility: export

roundTripEvalQuoteConv : String -> String -> IOEither Error ()

Visibility: export

roundTripSynth : String -> IOEither Error (Expr Void, Value)

Visibility: public export

roundTripSynthEvalQuote : String -> IOEither Error (Expr Void)

Visibility: export

roundTripCheck : String -> String -> IOEither Error ()

Visibility: public export

roundTripConv : String -> String -> IOEither Error ()

Visibility: public export

valueFromString : String -> IOEither Error Value

Visibility: public export

showIOEither : Show a => Show b => IOEither a b -> IO String

Visibility: public export

doStuff : Show a => Show b => (String -> IOEither a b) -> String -> IO ()

Visibility: public export