:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Moduleparser-combinators-1.3.0Haskell2010
This module specialized the interface to Monad for potential efficiency considerations, depending on the monad the permutations are run over.
For a more general interface requiring only Applicative, and for more
complete documentation, see the Control.Applicative.Permutations module.
An Applicative wrapper-type for constructing permutation parsers.
Functor m => Functor (Permutation m)Defined in parser-combinators-1.3.0 · Control.Monad.PermutationsAlternative m => Applicative (Permutation m)Defined in parser-combinators-1.3.0 · Control.Monad.PermutationsrunPermutation :: (Alternative m, Monad m)=> Permutation m aPermutation specification
-> m aResulting base monad capable of handling the permutation
"Unlifts" a permutation parser into a parser to be evaluated.
intercalateEffect :: (Alternative m, Monad m)=> m bEffect to be intercalated between permutation components
-> Permutation m aPermutation specification
-> m aResulting base monad capable of handling the permutation
"Unlifts" a permutation parser into a parser to be evaluated with an intercalated effect. Useful for separators between permutation elements.
"Lifts" a parser to a permutation parser.
toPermutationWithDefault :: Alternative m=> aDefault Value
-> m aPermutation component
-> Permutation m a"Lifts" a parser with a default value to a permutation parser.
If no permutation containing the supplied parser can be parsed from the input, then the supplied default value is returned in lieu of a parse result.