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)

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