curly-0.59.5: A minimal cross-compiler for the simply-typed lambda-calculus

Safe HaskellNone
LanguageHaskell2010

Curly.UI.Options

Contents

Synopsis

The global mode of operation

Inputs and targets

readServer :: ((~#) * * (StreamChar t1) Char, ParseStream t1, Num t) => t1 -> Maybe (t1, [Char], t) Source #

Per-target threaded configuration

getConf :: (?targetParams :: TargetParams) => Lens' TargetParams a -> a Source #

withPrelude :: (?targetParams :: TargetParams) => String -> String Source #

Misc