Conjure.Utils

An internal module of Conjure. This exports List, Maybe, Function and a few other simple utitilites.

Documentation

module Data.List

module Data.Function

module Data.Maybe

module Data.Monoid

module Data.Tuple

module Data.Typeable

count :: (a -> Bool) -> [a] -> Int

Counts the number of occurrences on a list.

nubOn :: Eq b => (a -> b) -> [a] -> [a]

Nubs using a given field.

nubSort :: Ord a => [a] -> [a]

Equivalent to nub . sort but running in O(n log n).

mzip :: Monoid a => [a] -> [a] -> [a]

Zips Monoid values leaving trailing values.

> mzip ["ab","cd"] ["ef"]
["abef","cd"]

groupOn :: Eq b => (a -> b) -> [a] -> [[a]]

Group values using a given field selector.

idIO :: (a -> IO ()) -> a -> a

WARNING: uses unsafePerformIO and should only be used for debugging!

> idIO print 10
10
10

mapHead :: (a -> a) -> [a] -> [a]

Applies a function to the head of a list.

sets :: [a] -> [[a]]

Return sets of values based on the list.

The values in the list must me unique.

headOr :: a -> [a] -> a

Like head but allows providing a default value.

allEqual :: Eq a => [a] -> Bool

Checks if all elements of a list are equal.

choices :: [a] -> [(a, [a])]

Lists choices of values.

choicesThat :: (a -> [a] -> Bool) -> [a] -> [(a, [a])]

Lists choices of values that follow a property.

foldr0 :: (a -> a -> a) -> a -> [a] -> a

A variation of foldr that only uses "zero" when the list is empty