Language.Haskellish

Documentation

data Haskellish a

Constructors

Haskellish

Fields

• runHaskellish :: Exp SrcSpanInfo -> Either String a

Instances

Monad Haskellish

Defined in Language.Haskellish

Methods

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

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

return :: a -> Haskellish a

fail :: String -> Haskellish a

Functor Haskellish

Defined in Language.Haskellish

Methods

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

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

Applicative Haskellish

Defined in Language.Haskellish

Methods

pure :: a -> Haskellish a

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

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

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

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

Alternative Haskellish

Defined in Language.Haskellish

Methods

empty :: Haskellish a

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

some :: Haskellish a -> Haskellish [a]

many :: Haskellish a -> Haskellish [a]

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

identifier :: Haskellish String

reserved :: String -> Haskellish ()

string :: Haskellish String

integer :: Haskellish Integer

rational :: Haskellish Rational

rationalOrInteger :: Haskellish Rational

list :: Haskellish a -> Haskellish [a]

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

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

collectDoStatements :: Exp SrcSpanInfo -> [Exp SrcSpanInfo]

listOfDoStatements :: Haskellish a -> Haskellish [a]

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

askSpan :: Haskellish Span

expToSpan :: Exp SrcSpanInfo -> Span

srcSpanInfoToSpan :: SrcSpanInfo -> Span