Documentation
newtype SpecParser s e a Source
SpecParser | |
|
Error e => MonadReader s (SpecParser s e) | |
Error e => MonadError e (SpecParser s e) | |
Monad (SpecParser s e) | |
Error e => MonadPlus (SpecParser s e) |
mkSpec :: SpecParser i e a -> SpecGen o a -> Spec e i o aSource
parseBySpec :: MonadError e m => Spec e i o a -> i -> m aSource
runSpecParser :: SpecParser s e a -> s -> Either e aSource
rsParse :: Spec err src tgt a -> SpecParser src err aSource
spGet :: Error e => SpecParser s e sSource
spGets :: Error e => (s -> a) -> SpecParser s e aSource
spFromMaybe :: Error e => e -> Maybe a -> SpecParser s e aSource
spFromEither :: Error e => Either e a -> SpecParser s e aSource
rsQuadruple :: Error e => Spec e i o a -> Spec e i o b -> Spec e i o c -> Spec e i o d -> Spec e i o (a, b, c, d)Source
rsWrapEither' :: (Show l, Error e) => (a -> Either l b, b -> a) -> Spec e i o a -> Spec e i o bSource
rsCondSeq :: Error e => Spec e i o b -> (b -> a) -> Spec e i o a -> (a -> Spec e i o b) -> Spec e i o bSource
rsTagSwitch :: (Error e, Eq t) => (a -> t) -> [SpecCase e i o a] -> Spec e i o aSource
rsCaseConst :: Error e => a -> (Spec e i o b -> Spec e i o b) -> SpecCase e i o aSource
rsCheckSet :: Error e => SpecParser i e () -> (o -> o) -> Spec e i o a -> Spec e i o aSource