Universum

Main module that reexports all functionality allowed to use without importing any other modules. Just add next lines to your module to replace default ugly Prelude with better one.

    {--}

    import Universum

Reexports from base and from modules in this repo

module Base

Useful standard unclassifed functions

evaluateNF :: (NFData a, MonadIO m) => a -> m a

Alias for evaluateWHNF . force with clearer name.

evaluateNF_ :: (NFData a, MonadIO m) => a -> m ()

Alias for evaluateWHNF . rnf. Similar to evaluateNF but discards resulting value.

evaluateWHNF :: MonadIO m => a -> m a

Lifted alias for evaluate with clearer name.

evaluateWHNF_ :: MonadIO m => a -> m ()

Like evaluateWNHF but discards value.

identity :: a -> a

Renamed version of id.

map :: Functor f => (a -> b) -> f a -> f b

map generalized to Functor.

uncons :: [a] -> Maybe (a, [a])

Destructuring list into its head and tail if possible. This function is total.

>>> uncons []
Nothing
>>> uncons [1..5]
Just (1,[2,3,4,5])
>>> uncons (5 : [1..5]) >>= \(f, l) -> pure $ f == length l
Just True

unsnoc :: [x] -> Maybe ([x], x)

Similar to uncons but destructuring list into its last element and everything before it.