Interface.TV.Common

Some common interaction vocabulary

Type class

class CommonIns src where

This class captures some useful operations available in some input types, and allows definition of some "Common" Inputs

Methods

getString :: String -> src String

Input a string (with default)

getRead :: (Show a, Read a) => a -> src a

Read-based input. Initial value is also used as a default for failed parse. Define as getReadF when src is a Functor. Requires Show as well as Read, for displaying the initial value.

getBool :: Bool -> src Bool

Input a bool

Instances

CommonIns IO

readD :: Read a => a -> String -> a

Read with default value. If the input doesn't parse as a value of the expected type, or it's ambiguous, yield the default value.

getReadF :: (CommonIns src, Functor src, Show a, Read a) => a -> src a

getRead for Functors

class CommonOuts snk where

This class captures some useful operations available in some arrows and allows definition of some "Common" Inputs, Outputs, and TVs.

Methods

putString :: snk String

Output a string

putShow :: Show a => snk a

Shows based outout. Define as putShowC when snk is a Cofunctor

putBool :: snk Bool

Output a bool

Instances

CommonOuts OI

putShowC :: (CommonOuts snk, Cofunctor snk, Show a) => snk a

type CInput a = forall src. CommonIns src => Input src a

Inputs that work over all CommonInsOuts typecons.

type CInputI a = a -> CInput a

CInput with initial value

type COutput a = forall src snk. (CommonIns src, CommonOuts snk) => Output src snk a

Outputs that work over all CommonOuts typecons.

type CTV a = forall src snk. (CommonIns src, CommonOuts snk) => TV src snk a

Convenient type synonym for TVs that work over all CommonInsOuts typecons.

Inputs

stringIn :: CInputI String

String input with default

boolIn :: CInputI Bool

Bool input with default

readIn :: (Read a, Show a) => CInputI a

Input a readable value. Use default when read fails.

Outputs

stringOut :: COutput String

Output a string

boolOut :: COutput Bool

Output a bool

showOut :: Show a => COutput a

Output a showable value

interactLine :: String -> COutput (String -> String)

Output version of interact. Well, not quite, since the IO version uses getLine instead of getContents. See also Interface.TV.interactOut

readShow

Arguments

:: (Read a, Show b, CommonIns src, CommonOuts snk, Functor src, Cofunctor snk)

=> Output src snk (String -> String)

base output

-> a

default, when read fails

-> Output src snk (a -> b)

Handy Read+Show wrapper

interactLineRS

Arguments

:: (Read a, Show a, Show b, CommonIns src, CommonOuts snk)

=> a

default, if read fails

-> Output src snk (a -> b)

Read+Show of interactLine