CCO.Component

An arrow for constructing and composing compiler components.

Components

data Component a b

The Component arrow. A Component a b takes input of type a to output of type b.

Instances

Arrow Component

ArrowChoice Component

Category * Component

Creating components

component :: (a -> Feedback b) -> Component a b

Creates a Component from a Feedback computation.

parser :: Lexer s -> Parser s a -> Component String a

Creates a Component from a Lexer and a Parser.

Generic components

printer :: Printable a => Component a String

A Component for rendering Printables.

Wrapping components

ioWrap :: Component String String -> IO ()

Wraps a Component into a program that provides it with input from the standard input channel and relays its output to the standard output channel.

ioRun :: Component a b -> a -> IO b

Run a Component in the IO monad.