Prologue.Data.Basic

Documentation

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

(||.) :: (a -> Bool) -> (a -> Bool) -> a -> Bool infixr 2

(&&.) :: (a -> Bool) -> (a -> Bool) -> a -> Bool infixr 2

const1 :: a -> t1 -> a

const2 :: a -> t1 -> t2 -> a

const3 :: a -> t1 -> t2 -> t3 -> a

const4 :: a -> t1 -> t2 -> t3 -> t4 -> a

const5 :: a -> t1 -> t2 -> t3 -> t4 -> t5 -> a

const6 :: a -> t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> a

const7 :: a -> t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> a

const8 :: a -> t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> a

const9 :: a -> t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> a

ifThenElse :: Bool -> a -> a -> a

ifThenElseId :: Bool -> (a -> a) -> a -> a

ifThenMempty :: Mempty a => Bool -> a -> a

switch :: a -> a -> Bool -> a

unlines :: (IsString a, Monoid a, Foldable f) => f a -> a

replicate :: (Num a, Ord a) => a -> t -> [t]

unsafeReplicate :: (Num a, Ord a) => a -> t -> [t]

Orphan instances

Functor ((,,) t1 t2)

Methods

fmap :: (a -> b) -> (t1, t2, a) -> (t1, t2, b)

(<$) :: a -> (t1, t2, b) -> (t1, t2, a)

Functor ((,,,) t1 t2 t3)

Methods

fmap :: (a -> b) -> (t1, t2, t3, a) -> (t1, t2, t3, b)

(<$) :: a -> (t1, t2, t3, b) -> (t1, t2, t3, a)

Functor ((,,,,) t1 t2 t3 t4)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, a) -> (t1, t2, t3, t4, b)

(<$) :: a -> (t1, t2, t3, t4, b) -> (t1, t2, t3, t4, a)

Functor ((,,,,,) t1 t2 t3 t4 t5)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, t5, a) -> (t1, t2, t3, t4, t5, b)

(<$) :: a -> (t1, t2, t3, t4, t5, b) -> (t1, t2, t3, t4, t5, a)

Functor ((,,,,,,) t1 t2 t3 t4 t5 t6)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, t5, t6, a) -> (t1, t2, t3, t4, t5, t6, b)

(<$) :: a -> (t1, t2, t3, t4, t5, t6, b) -> (t1, t2, t3, t4, t5, t6, a)

Functor ((,,,,,,,) t1 t2 t3 t4 t5 t6 t7)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, t5, t6, t7, a) -> (t1, t2, t3, t4, t5, t6, t7, b)

(<$) :: a -> (t1, t2, t3, t4, t5, t6, t7, b) -> (t1, t2, t3, t4, t5, t6, t7, a)

Functor ((,,,,,,,,) t1 t2 t3 t4 t5 t6 t7 t8)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, t5, t6, t7, t8, a) -> (t1, t2, t3, t4, t5, t6, t7, t8, b)

(<$) :: a -> (t1, t2, t3, t4, t5, t6, t7, t8, b) -> (t1, t2, t3, t4, t5, t6, t7, t8, a)

Functor ((,,,,,,,,,) t1 t2 t3 t4 t5 t6 t7 t8 t9)

Methods

fmap :: (a -> b) -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, a) -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, b)

(<$) :: a -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, b) -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, a)