Data.Aviation.VFR_Waypoints.Render

Documentation

data Colour a

Constructors

Colour (Bool -> a)

Instances

Monad Colour

Methods

(>>=) :: Colour a -> (a -> Colour b) -> Colour b

(>>) :: Colour a -> Colour b -> Colour b

return :: a -> Colour a

fail :: String -> Colour a

Functor Colour

Methods

fmap :: (a -> b) -> Colour a -> Colour b

(<$) :: a -> Colour b -> Colour a

Applicative Colour

Methods

pure :: a -> Colour a

(<*>) :: Colour (a -> b) -> Colour a -> Colour b

liftA2 :: (a -> b -> c) -> Colour a -> Colour b -> Colour c

(*>) :: Colour a -> Colour b -> Colour b

(<*) :: Colour a -> Colour b -> Colour a

runColour :: Colour a -> Bool -> a

colour :: String -> String -> Colour String

render0Results :: Colour String

render0ResultsOr :: Colour String -> Maybe (Colour String) -> Colour String

render0ResultsList :: Colour String -> [Colour String] -> Colour String

renderVFR_WaypointSeparator :: Colour String

renderVFR_WaypointHeader :: Colour String

renderVFR_Waypoint :: HasVFR_Waypoint w => (w, String) -> Colour String