Language.Haskellish

Documentation

data Haskellish st a

Constructors

Haskellish

Fields

• runHaskellish :: st -> Exp SrcSpanInfo -> Either String (a, st)

Instances

MonadState st (Haskellish st)

Defined in Language.Haskellish

Methods

get :: Haskellish st st

put :: st -> Haskellish st ()

state :: (st -> (a, st)) -> Haskellish st a

MonadError String (Haskellish st)

Defined in Language.Haskellish

Methods

throwError :: String -> Haskellish st a

catchError :: Haskellish st a -> (String -> Haskellish st a) -> Haskellish st a

Monad (Haskellish st)

Defined in Language.Haskellish

Methods

(>>=) :: Haskellish st a -> (a -> Haskellish st b) -> Haskellish st b

(>>) :: Haskellish st a -> Haskellish st b -> Haskellish st b

return :: a -> Haskellish st a

fail :: String -> Haskellish st a

Functor (Haskellish st)

Defined in Language.Haskellish

Methods

fmap :: (a -> b) -> Haskellish st a -> Haskellish st b

(<$) :: a -> Haskellish st b -> Haskellish st a

Applicative (Haskellish st)

Defined in Language.Haskellish

Methods

pure :: a -> Haskellish st a

(<*>) :: Haskellish st (a -> b) -> Haskellish st a -> Haskellish st b

liftA2 :: (a -> b -> c) -> Haskellish st a -> Haskellish st b -> Haskellish st c

(*>) :: Haskellish st a -> Haskellish st b -> Haskellish st b

(<*) :: Haskellish st a -> Haskellish st b -> Haskellish st a

Alternative (Haskellish st)

Defined in Language.Haskellish

Methods

empty :: Haskellish st a

(<|>) :: Haskellish st a -> Haskellish st a -> Haskellish st a

some :: Haskellish st a -> Haskellish st [a]

many :: Haskellish st a -> Haskellish st [a]

MonadPlus (Haskellish st)

Defined in Language.Haskellish

Methods

mzero :: Haskellish st a

mplus :: Haskellish st a -> Haskellish st a -> Haskellish st a

exp :: Haskellish st (Exp SrcSpanInfo)

haskellishError :: String -> Haskellish st a

applicationExpressions :: Exp SrcSpanInfo -> Either String (Exp SrcSpanInfo, Exp SrcSpanInfo)

identifier :: Haskellish st String

reserved :: String -> Haskellish st ()

string :: Haskellish st String

integer :: Haskellish st Integer

rational :: Haskellish st Rational

rationalOrInteger :: Haskellish st Rational

list :: Haskellish st a -> Haskellish st [a]

listExpressions :: Exp SrcSpanInfo -> Either String [Exp SrcSpanInfo]

tuple :: Haskellish st a -> Haskellish st b -> Haskellish st (a, b)

asRightSection :: Haskellish st (a -> b -> c) -> Haskellish st b -> Haskellish st (a -> c)

ifThenElse :: Haskellish st a -> Haskellish st b -> Haskellish st c -> Haskellish st (a, b, c)

collectDoStatements :: Exp SrcSpanInfo -> [Exp SrcSpanInfo]

listOfDoStatements :: Haskellish st a -> Haskellish st [a]

type Span = ((Int, Int), (Int, Int))

span :: Haskellish st Span

expToSpan :: Exp SrcSpanInfo -> Span

srcSpanInfoToSpan :: SrcSpanInfo -> Span

reverseApplication :: Haskellish st a -> Haskellish st (a -> b) -> Haskellish st b

binaryApplication :: Haskellish st f -> Haskellish st a -> Haskellish st b -> Haskellish st (f, a, b)

binaryApplication targets the specific situation of parsing a function that is applied to two arguments, given parsers for the function and each of the two arguments. This is intended for rare cases - in most cases, Haskellish's Applicative instance will be a preferred way of parsing function application. Unlike the applicative instance, this function returns the three components (function and two arguments) separately, ie. the function is not actually applied to its arguments in the return type.