Ideas.Common.Utils

A collection of general utility functions

Documentation

data Some f

Constructors

forall a . Some (f a)

data ShowString

Constructors

ShowString

Fields

fromShowString :: String

Instances

Eq ShowString

Ord ShowString

Show ShowString

IsTerm ShowString

readInt :: String -> Maybe Int

readM :: (Monad m, Read a) => String -> m a

subsets :: [a] -> [[a]]

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

cartesian :: [a] -> [b] -> [(a, b)]

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

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

fixpoint :: Eq a => (a -> a) -> a -> a

splitAtElem :: Eq a => a -> [a] -> Maybe ([a], [a])

splitsWithElem :: Eq a => a -> [a] -> [[a]]

useFixedStdGen :: IO ()

Use a fixed standard "random" number generator. This generator is accessible by calling System.Random.getStdGen

timedSeconds :: Int -> IO a -> IO a

fst3 :: (a, b, c) -> a

snd3 :: (a, b, c) -> b

thd3 :: (a, b, c) -> c

headM :: Monad m => [a] -> m a

findIndexM :: Monad m => (a -> Bool) -> [a] -> m Int

elementAt :: Monad m => Int -> [a] -> m a

changeAt :: Monad m => Int -> (a -> a) -> [a] -> m [a]

replaceAt :: Monad m => Int -> a -> [a] -> m [a]

list :: b -> ([a] -> b) -> [a] -> b