Game.Antisplice.Utils.None

Provides a typeclass for everything that may carry a void value

Documentation

class None n where

Typeclass for everything that may carry a void value

Methods

none :: n

Instances

None Bool

None Int

None Integer

None ()

None Text

None DungeonState

None PathState

None GetterResponse

None PlayerStereo

None KindId

None ObjectId

None PrerequisiteBox

None HandlerBox

None ActionBefore

None ActionAfter

None Action

None Consumer

None Condition

None Gate

None [a]

None (Maybe a)

None (BST a)

None (Focus a)

None (TST a)

None (AVL a)

Monad m => None (a -> m a)

None (a -> a)

None (Graph a b c)

noneM :: (Monad m, None n) => m n

Wrap the void into a monad.

joinMaybe :: None n => Maybe n -> n

Join a maybe into the underlying type. Nothing becomes none.

expandMaybe :: (Eq n, None n) => n -> Maybe n

Wrap the value into a maybe. none becomes Nothing.

cleanMaybe :: (Eq n, None n) => Maybe n -> Maybe n

Clean the maybe by pulling wrapped nones to the outside (as a Nothing).

reduce :: (Eq n, None n) => [n] -> [n]

Eliminate all void elements from the list.

reduceMaybe :: [Maybe a] -> [a]

Eliminate all Nothings from the list and unjust all remaining values.