Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
allEqual :: Eq a => [a] -> BoolAgda Agda.Utils.List Checks if all the elements in the list are equal. Assumes that the Eq instance stands for an equivalence relation. O(n).
allEqual :: Eq a => List1 a -> BoolAgda Agda.Utils.List1 Checks if all the elements in the list are equal. Assumes that the Eq instance stands for an equivalence relation. O(n).
allListT :: Monad m => ListT m a -> (a -> m Bool) -> m BoolAgda Agda.Utils.ListT Lazy monadic conjunction of lazy monadic list, effects left-to-right
allJustM :: Monad m => [m (Maybe a)] -> m (Maybe [a])Agda Agda.Utils.Maybe Lazy version of allJust . sequence. (allJust = mapM for the Maybe monad.) Only executes monadic effect while isJust.
allM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m BoolAgda Agda.Utils.Monad No documentation available.
allClasses :: CAbs -> [String]BNFC BNFC.Backend.Common.OOAbstract No documentation available.
allNonClasses :: CAbs -> [String]BNFC BNFC.Backend.Common.OOAbstract No documentation available.
allCats :: (InternalRule -> Bool) -> CFG f -> [Cat]BNFC BNFC.CF Get all categories of a grammar matching the filter. (No Cat w/o production returned; no duplicates.)
allCatsIdNorm :: CF -> [RString]BNFC BNFC.CF Gets all normalized identified Categories
-
BNFC BNFC.CF Get all normalized Cat