ideas-1.7: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellSafe
LanguageHaskell98

Ideas.Utils.Prelude

Description

A collection of general utility functions

Documentation

data Some f Source #

Constructors

Some (f a) 

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

subsets :: [a] -> [[a]] Source #

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

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

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

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

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

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

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

timedSeconds :: Int -> IO a -> IO a Source #

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

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

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

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

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

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

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

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

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