Safe Haskell	Safe
Language	Haskell98

Text.Reform.Result

Description

Module for the core result type, and related functions

Synopsis

Documentation

Type for failing computations

Constructors

Error [(FormRange, e)]
Ok ok

Instances

Monad (Result e) Source #
Instance details Defined in Text.Reform.Result Methods (>>=) :: Result e a -> (a -> Result e b) -> Result e b # (>>) :: Result e a -> Result e b -> Result e b # return :: a -> Result e a # fail :: String -> Result e a #
Functor (Result e) Source #
Instance details Defined in Text.Reform.Result Methods fmap :: (a -> b) -> Result e a -> Result e b # (<$) :: a -> Result e b -> Result e a #
Applicative (Result e) Source #
Instance details Defined in Text.Reform.Result Methods pure :: a -> Result e a # (<>) :: Result e (a -> b) -> Result e a -> Result e b # liftA2 :: (a -> b -> c) -> Result e a -> Result e b -> Result e c # (>) :: Result e a -> Result e b -> Result e b # (<*) :: Result e a -> Result e b -> Result e a #
(Eq e, Eq ok) => Eq (Result e ok) Source #
Instance details Defined in Text.Reform.Result Methods (==) :: Result e ok -> Result e ok -> Bool # (/=) :: Result e ok -> Result e ok -> Bool #
(Show e, Show ok) => Show (Result e ok) Source #
Instance details Defined in Text.Reform.Result Methods showsPrec :: Int -> Result e ok -> ShowS # show :: Result e ok -> String # showList :: [Result e ok] -> ShowS #

convert a Result to Maybe discarding the error message on Error

An ID used to identify forms

Instances

Eq FormId Source #
Instance details Defined in Text.Reform.Result Methods (==) :: FormId -> FormId -> Bool # (/=) :: FormId -> FormId -> Bool #
Ord FormId Source #
Instance details Defined in Text.Reform.Result Methods compare :: FormId -> FormId -> Ordering # (<) :: FormId -> FormId -> Bool # (<=) :: FormId -> FormId -> Bool # (>) :: FormId -> FormId -> Bool # (>=) :: FormId -> FormId -> Bool # max :: FormId -> FormId -> FormId # min :: FormId -> FormId -> FormId #
Show FormId Source #
Instance details Defined in Text.Reform.Result Methods showsPrec :: Int -> FormId -> ShowS # show :: FormId -> String # showList :: [FormId] -> ShowS #

The zero ID, i.e. the first ID that is usable

map a function over the [Integer] inside a FormId

Stack indicating field. Head is most specific to this item

A range of ID's to specify a group of forms

Constructors

Instances

Eq FormRange Source #
Instance details Defined in Text.Reform.Result Methods (==) :: FormRange -> FormRange -> Bool # (/=) :: FormRange -> FormRange -> Bool #
Show FormRange Source #
Instance details Defined in Text.Reform.Result Methods showsPrec :: Int -> FormRange -> ShowS # show :: FormRange -> String # showList :: [FormRange] -> ShowS #

Increment a form ID

create a FormRange from a FormId

Arguments

Check if a FormId is contained in a FormRange

Arguments

:: FormRange	Sub-range
-> FormRange	Larger range
-> Bool	If the sub-range is contained in the larger range

Check if a FormRange is contained in another FormRange

Select the errors for a certain range

Select the errors originating from this form or from any of the children of this form