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

Defined in Data.Chatty.None

Methods

none :: Bool

None Int

Defined in Data.Chatty.None

Methods

none :: Int

None Integer

Defined in Data.Chatty.None

Methods

none :: Integer

None ()

Defined in Data.Chatty.None

Methods

none :: ()

None Text

Defined in Data.Chatty.None

Methods

none :: Text

None [a]

Defined in Data.Chatty.None

Methods

none :: [a]

None (Maybe a)

Defined in Data.Chatty.None

Methods

none :: Maybe a

None (BST a)

Defined in Data.Chatty.BST

Methods

none :: BST a

None (Focus a)

Defined in Data.Chatty.Focus

Methods

none :: Focus a

None (AVL a)

Defined in Data.Chatty.AVL

Methods

none :: AVL a

None (TST a)

Defined in Data.Chatty.TST

Methods

none :: TST a

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

Defined in Data.Chatty.None

Methods

none :: a -> m a

None (a -> a)

Defined in Data.Chatty.None

Methods

none :: a -> a

None (Graph a b c)

Defined in Data.Chatty.Graph

Methods

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.