Precis.Utils.Common

Utils

Hughes list

type H a = [a] -> [a]

emptyH :: H a

wrapH :: a -> H a

consH :: a -> H a -> H a

snocH :: H a -> a -> H a

appendH :: H a -> H a -> H a

veloH :: (a -> b) -> [a] -> H b

Traverse a list as per map applying the supplied function to each element, *but* pruduce a Hughes list as output.

concatH :: [H a] -> H a

toListH :: H a -> [a]

fromListH :: [a] -> H a

Others

unlist :: [String] -> String

mapLeft :: (a -> s) -> Either a b -> Either s b

mapRight :: (b -> t) -> Either a b -> Either a t

onSuccessM :: Monad m => m (Either a b) -> (b -> m c) -> m (Either a c)

pstar :: (a -> r -> ans) -> (r -> a) -> r -> ans

pstar2 :: (a -> b -> r -> ans) -> (r -> a) -> (r -> b) -> r -> ans

star :: (r -> a) -> (a -> r -> ans) -> r -> ans

star2 :: (r -> a) -> (r -> b) -> (a -> b -> r -> ans) -> r -> ans