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

Category Component

ArrowChoice Component

Arrow 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.