Manatee.Toolkit.General.Basic

Documentation

swap :: (a, b) -> (b, a)

Swap tuple.

ifSwap :: Bool -> (a, a) -> (a, a)

Try to swap tuple.

dup :: a -> (a, a)

Duplicate current value with tuple.

integralToDouble :: Integral a => a -> Double

Transform Int to Double

integerToInt :: Integer -> Int

Integer to Int.

(<<) :: Monad m => m b -> m a -> m b

Flip >>

liftM2' :: Monad m => m a -> (a -> b -> c) -> m b -> m c

Like LiftM2, but make function at middle of two arguments.

liftM2_ :: Monad m => (a -> b -> c) -> m a -> m b -> m ()

ifM :: Monad m => m Bool -> m a -> m a -> m a

If monad.

ifF :: Monad m => a -> (a -> m Bool) -> (a -> m b) -> (a -> m b) -> m b

If monad.

whenM :: Monad m => m Bool -> m () -> m ()

When monad.

unlessM :: Monad m => m Bool -> m () -> m ()

Unless monad.

zip' :: a -> b -> (a, b)

Zip'

zipM' :: Monad m => m a -> m b -> m (a, b)

ZipM'

firstMap :: (b -> c) -> [(b, d)] -> [(c, d)]

FirstMap.

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

Zip with map.

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

Unzip with map.

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

Trace.

floorToMultiple :: Integral a => a -> a -> a

Floor to multiple.

cond :: Monad m => [(Bool, m ())] -> m ()

Like a switch statement, and less cluttered than if else if

 cond [ (t1,a1), (t2,a2), ... ]

condM :: Monad m => [(m Bool, m ())] -> m ()

Like a switch statement, and less cluttered than if else if

 condM [ (t1,a1), (t2,a2), ... ]