Safe Haskell	Safe
Language	Haskell2010

Data.Chatty.None

Description

Provides a typeclass for everything that may carry a void value

Synopsis

Documentation

class None n where Source #

Typeclass for everything that may carry a void value

Methods

Instances details

None Bool Source #
Instance details Defined in Data.Chatty.None Methods none :: Bool Source #
None Int Source #
Instance details Defined in Data.Chatty.None Methods none :: Int Source #
None Integer Source #
Instance details Defined in Data.Chatty.None Methods none :: Integer Source #
None () Source #
Instance details Defined in Data.Chatty.None Methods none :: () Source #
None Text Source #
Instance details Defined in Data.Chatty.None Methods none :: Text Source #
None [a] Source #
Instance details Defined in Data.Chatty.None Methods none :: [a] Source #
None (Maybe a) Source #
Instance details Defined in Data.Chatty.None Methods none :: Maybe a Source #
None (BST a) Source #
Instance details Defined in Data.Chatty.BST Methods none :: BST a Source #
None (Focus a) Source #
Instance details Defined in Data.Chatty.Focus Methods none :: Focus a Source #
None (AVL a) Source #
Instance details Defined in Data.Chatty.AVL Methods none :: AVL a Source #
None (TST a) Source #
Instance details Defined in Data.Chatty.TST Methods none :: TST a Source #
Monad m => None (a -> m a) Source #
Instance details Defined in Data.Chatty.None Methods none :: a -> m a Source #
None (a -> a) Source #
Instance details Defined in Data.Chatty.None Methods none :: a -> a Source #
None (Graph a b c) Source #
Instance details Defined in Data.Chatty.Graph Methods none :: Graph a b c Source #

Wrap the void into a monad.

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

Wrap the value into a maybe. none becomes Nothing.

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

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

Eliminate all void elements from the list.

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