Pianola.Util

Documentation

replusify :: MonadPlus m => [a] -> m a

Convenience function to transform a list into any MonadPlus.

tomaybet :: Monad m => LogicT m a -> MaybeT m a

Transforms a zero-or-many result into a zero-or-one result.

class Treeish l where

Class of types whose values have children of the same type as themselves.

Methods

children :: MonadPlus m => l -> m l

Direct descendants.

descendants :: MonadPlus m => l -> m l

All direct or indirect descendants, plus the original value.

Instances

Treeish (Tree a)

Treeish (Component m)

Treeish (ComponentW m)

Treeish (Window m)

Treeish (EnvT e Tree a)

type Produ t = Producer t

type Consu t = Consumer t

class Functor l => Loggy l where

Methods

logentry :: LogEntry -> l ()

logmsg :: Text -> l ()

logimg :: Image -> l ()

logmsgK :: Text -> a -> l a

Logs a message and returns the second argument unchanged.

Instances

(Monad l, Loggy l) => Loggy (MaybeT l)

(Monad l, Loggy l) => Loggy (LogicT l)

Monad m => Loggy (Produ LogEntry m)

Monad m => Loggy (Pianola m LogEntry o)

data LogEntry

Constructors

TextEntry Text

ImageEntry Image

Instances

Monad m => Loggy (Produ LogEntry m)

Monad m => Loggy (Pianola m LogEntry o)

type Image = ByteString

data Nullipotent m a

Wraps a monad in order to tag those operations which don't actually change the state of the remote system. For example: taking a screenshot doesn't change the state of a GUI, as opposed to clicking a button.

Instances

Monad m => Monad (Nullipotent m)

Functor m => Functor (Nullipotent m)

Foldable m => Foldable (Nullipotent m)

Traversable m => Traversable (Nullipotent m)

Eq (m a) => Eq (Nullipotent m a)

Ord (m a) => Ord (Nullipotent m a)

Read (m a) => Read (Nullipotent m a)

Show (m a) => Show (Nullipotent m a)

type Tag = Text

data Sealed m

Encapsulates a monadic action so that clients can't manipulate it in any way, only dispatch it to some function.

There may be tags attached that describe the action. Clients should be able to inspect the tags.

addTag :: Tag -> Sealed m -> Sealed m