Documentation

lowerChar :: ℂ -> ℂ Source

upperChar :: ℂ -> ℂ Source

lower :: 𝕊 -> 𝕊 Source

upper :: 𝕊 -> 𝕊 Source

alignLeftFill :: ℂ -> ℕ -> 𝕊 -> 𝕊 Source

alignLeft :: ℕ -> 𝕊 -> 𝕊 Source

alignRightFill :: ℂ -> ℕ -> 𝕊 -> 𝕊 Source

alignRight :: ℕ -> 𝕊 -> 𝕊 Source

cond :: (a -> 𝔹) -> (a -> b) -> (a -> b) -> a -> b Source

applyTo :: a -> (a -> b) -> b Source

data MStream m a where Source

streamState :: s -> MStream (StateT s Maybe) a -> Stream a Source

length :: ToFold a t => t -> ℕ Source

count :: ToFold a t => (a -> 𝔹) -> t -> ℕ Source

nth :: ToFold a t => ℕ -> t -> Maybe a Source

srepeat :: a -> Stream a Source

snaturals :: Stream ℕ Source

szip :: Stream a -> Stream b -> Stream (a, b) Source

withIndex :: Stream a -> Stream (ℕ, a) Source

head :: [a] -> Maybe a Source

tail :: [a] -> Maybe [a] Source

bigProduct :: [[a]] -> [[a]] Source

mapHead :: (a -> a) -> [a] -> [a] Source

mapTail :: (a -> a) -> [a] -> [a] Source

firstN :: ℕ -> [a] -> [a] Source

filterMap :: forall a b. (a -> Maybe b) -> [a] -> [b] Source

filter :: (a -> Bool) -> [a] -> [a] Source

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

prefixUntil :: forall a. (a -> 𝔹) -> [a] -> ([a], [a]) Source

uniques :: forall a. Ord a => [a] -> [a] Source

replicate :: ℕ -> a -> [a] Source

intersperse :: a -> [a] -> [a] Source

buildN :: ℕ -> a -> (a -> a) -> [a] Source

upTo :: ℕ -> [ℕ] Source

applyN :: ℕ -> b -> (b -> b) -> b Source

appendN :: Monoid a => ℕ -> a -> a Source

applyUntil :: (a -> a) -> (a -> a -> 𝔹) -> a -> a Source

applyUntilHistory :: (a -> a) -> (a -> a -> 𝔹) -> a -> [a] Source

poiter :: POrd a => (a -> a) -> a -> a Source

poiterHistory :: POrd a => (a -> a) -> a -> [a] Source

collect :: (Join a, POrd a) => (a -> a) -> a -> a Source

collectN :: (Join a, POrd a) => ℕ -> (a -> a) -> a -> a Source

collectHistory :: (Join a, POrd a) => (a -> a) -> a -> [a] Source

collectHistoryN :: (Join a, POrd a) => ℕ -> (a -> a) -> a -> [a] Source

diffs :: (JoinLattice a, Difference a, ToStream a t) => t -> Stream a Source

collectDiffs :: (POrd a, JoinLattice a, Difference a) => (a -> a) -> a -> Stream a Source

collectDiffsN :: (POrd a, JoinLattice a, Difference a) => ℕ -> (a -> a) -> a -> Stream a Source

many :: (Monad m, MonadMonoid m) => m a -> m [a] Source

oneOrMore :: (Monad m, MonadMonoid m) => m a -> m [a] Source

oneOrMoreSplit :: (Monad m, MonadMonoid m) => m a -> m (a, [a]) Source

twoOrMoreSplit :: (Monad m, MonadMonoid m) => m a -> m (a, a, [a]) Source

manySepBy :: (Monad m, MonadMonoid m) => m () -> m a -> m [a] Source

manyPrefBy :: (Monad m, MonadMonoid m) => m () -> m a -> m [a] Source

class Comonad w where Source

kextract :: Comonad w => (a -> b) -> w a -> b Source

kextract2 :: Comonad w => (a -> b -> c) -> w a -> w b -> c Source

siphon :: Comonad w => w a -> b -> w b Source

dance :: (Functor m, Comonad w) => w (m a) -> m (w a) Source

newtype Endo a Source

compose :: forall a. [a -> a] -> a -> a Source

data EndoM m a Source

mcompose :: Monad m => [a -> m a] -> a -> m a Source

data EndoW w a Source

wcompose :: Comonad w => [w a -> a] -> w a -> a Source

newtype (t ⊡ u) a Source

onComposeIso :: (t (u a) -> t (u b)) -> (t ⊡ u) a -> (t ⊡ u) b Source

data Annotated t a Source

newtype Fixed f Source

mapFixed :: Functor f => (f ↝ g) -> Fixed f -> Fixed g Source

data AnnotatedFixed t f Source

data First a Source

first :: Maybe a -> First a Source

maybeFirst :: First a -> Maybe a Source

data Last a Source

last :: Maybe a -> Last a Source

maybeLast :: Last a -> Maybe a Source

data P a Source

memoFix :: forall a b. Ord a => ((a -> b) -> a -> b) -> a -> b Source