Game.LambdaHack.Common.Prelude

Client monad for interacting with a human through UI.

Documentation

module Prelude.Compat

module Control.Monad.Compat

module Data.List.Compat

module Data.Maybe

module Data.Monoid.Compat

module Control.Exception.Assert.Sugar

data Text :: *

A space efficient, packed, unboxed Unicode text type.

Instances

Hashable Text

Methods

hashWithSalt :: Int -> Text -> Int

hash :: Text -> Int

Ixed Text

Methods

ix :: Index Text -> Traversal' Text (IxValue Text)

type Item Text

type Item Text = Char

type Index Text

type Index Text = Int

type IxValue Text

type IxValue Text = Char

(<+>) :: Text -> Text -> Text infixr 6

Separated by space unless one of them is empty (in which case just the non-empty one).

tshow :: Show a => a -> Text

Show and pack the result.

divUp :: Integral a => a -> a -> a infixl 7

Integer division, rounding up.

(<$$>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) infixl 4

partitionM :: Applicative m => (a -> m Bool) -> [a] -> m ([a], [a])

(***) :: Arrow a => forall b c b' c'. a b c -> a b' c' -> a (b, b') (c, c') infixr 3

Split the input between the two argument arrows and combine their output. Note that this is in general not a functor.

The default definition may be overridden with a more efficient version if desired.

(&&&) :: Arrow a => forall b c c'. a b c -> a b c' -> a b (c, c') infixr 3

Fanout: send the input to both argument arrows and combine their output.

The default definition may be overridden with a more efficient version if desired.

first :: Arrow a => forall b c d. a b c -> a (b, d) (c, d)

Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.

second :: Arrow a => forall b c d. a b c -> a (d, b) (d, c)

A mirror image of first.

The default definition may be overridden with a more efficient version if desired.