Data.Chatty.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 [a]

None (Maybe a)

None (TST a)

None (BST a)

None (Focus 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.