Safe Haskell  None 

Language  Haskell2010 
Documentation
alignRight :: ℕ > 𝕊 > 𝕊 Source
bigProduct :: [[a]] > [[a]] Source
splitPrefix :: Eq a => [a] > [a] > Maybe ([a], [a]) Source
prefixUntil :: forall a. (a > 𝔹) > [a] > ([a], [a]) Source
intersperse :: a > [a] > [a] Source
applyUntil :: (a > a) > (a > a > 𝔹) > a > a Source
applyUntilHistory :: (a > a) > (a > a > 𝔹) > a > [a] Source
poiterHistory :: 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
Compose  

Eq (t (u a)) => Eq ((⊡) k k t u a) Source  
Ord (t (u a)) => Ord ((⊡) k k t u a) Source  
Lattice (t (u a)) => Lattice ((⊡) k k t u a) Source  
MeetLattice (t (u a)) => MeetLattice ((⊡) k k t u a) Source  
JoinLattice (t (u a)) => JoinLattice ((⊡) k k t u a) Source  
Meet (t (u a)) => Meet ((⊡) k k t u a) Source  
Top (t (u a)) => Top ((⊡) k k t u a) Source  
Join (t (u a)) => Join ((⊡) k k t u a) Source  
Bot (t (u a)) => Bot ((⊡) k k t u a) Source  
POrd (t (u a)) => POrd ((⊡) k k t u a) Source 
onComposeIso :: (t (u a) > t (u b)) > (t ⊡ u) a > (t ⊡ u) b Source
Annotated  

data AnnotatedFixed t f Source
AnnotatedFixed  

maybeFirst :: First a > Maybe a Source