Safe Haskell	None
Language	Haskell2010

LText.Expr

Contents

Lexing

Synopsis

data Expr
- = Abs String Expr
- | App Expr Expr
- | Var String
- | Lit [Text]
- | Concat Expr Expr
type MonadPrettyPrint m = (MonadThrow m, MonadIO m)
ppExpr :: MonadPrettyPrint m => Expr -> m String
data ScopeUse
- = Fresh
- | Stale Expr
data ParseState
- = InsideLambda
- | Scope ScopeUse
initParseState :: ParseState
data ParseError
- = BracketsInsideLambda [Lexeme]
- | LambdaInsideLambda [Lexeme]
- | LambdaInStaleScope [Lexeme] Expr
- | ArrowWithoutLambda [Lexeme]
- | ArrowInScope [Lexeme]
- | EmptyExpression
- | LexerError String
handleParseError :: ParseError -> IO a
type MonadParse m = (MonadState ParseState m, MonadThrow m, MonadIO m)
runParse :: Text -> IO Expr
runParserT :: StateT ParseState IO a -> IO a
parseExpr :: MonadParse m => Text -> m Expr
expr :: MonadParse m => [Lexeme] -> m Expr
data Lexeme
- = Lambda
- | Arrow
- | Ident String
- | Bracketed {
  - getBracketed :: [Lexeme]
  }
lex :: Parser [Lexeme]
lambda :: Parser Lexeme
arrow :: Parser Lexeme
ident :: Parser Lexeme
bracketed :: Parser Lexeme

Documentation

data Expr Source #

Constructors

Abs String Expr
App Expr Expr
Var String
Lit [Text]
Concat Expr Expr

Instances

Eq Expr Source #
Instance details Defined in LText.Expr Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Arbitrary Expr Source #	Only considers Abs, App and Var
Instance details Defined in LText.Expr Methods arbitrary :: Gen Expr # shrink :: Expr -> [Expr] #

type MonadPrettyPrint m = (MonadThrow m, MonadIO m) Source #

ppExpr :: MonadPrettyPrint m => Expr -> m String Source #

TODO: pretty print exceptions

data ScopeUse Source #

Constructors

Fresh
Stale Expr

Instances

Eq ScopeUse Source #
Instance details Defined in LText.Expr Methods (==) :: ScopeUse -> ScopeUse -> Bool # (/=) :: ScopeUse -> ScopeUse -> Bool #
Show ScopeUse Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> ScopeUse -> ShowS # show :: ScopeUse -> String # showList :: [ScopeUse] -> ShowS #

data ParseState Source #

Constructors

InsideLambda	..->
Scope ScopeUse	(..)

Instances

Eq ParseState Source #
Instance details Defined in LText.Expr Methods (==) :: ParseState -> ParseState -> Bool # (/=) :: ParseState -> ParseState -> Bool #
Show ParseState Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> ParseState -> ShowS # show :: ParseState -> String # showList :: [ParseState] -> ShowS #

initParseState :: ParseState Source #

data ParseError Source #

Constructors

BracketsInsideLambda [Lexeme]
LambdaInsideLambda [Lexeme]
LambdaInStaleScope [Lexeme] Expr
ArrowWithoutLambda [Lexeme]
ArrowInScope [Lexeme]
EmptyExpression
LexerError String

Instances

Eq ParseError Source #
Instance details Defined in LText.Expr Methods (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool #
Show ParseError Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS #
Generic ParseError Source #
Instance details Defined in LText.Expr Associated Types type Rep ParseError :: Type -> Type # Methods from :: ParseError -> Rep ParseError x # to :: Rep ParseError x -> ParseError #
Exception ParseError Source #
Instance details Defined in LText.Expr Methods toException :: ParseError -> SomeException # fromException :: SomeException -> Maybe ParseError # displayException :: ParseError -> String #
type Rep ParseError Source #
Instance details Defined in LText.Expr type Rep ParseError = D1 (MetaData "ParseError" "LText.Expr" "ltext-0.1.3-KNJsl6iolIZABSVPFveE5J" False) ((C1 (MetaCons "BracketsInsideLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lexeme])) :+: (C1 (MetaCons "LambdaInsideLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lexeme])) :+: C1 (MetaCons "LambdaInStaleScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lexeme]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Expr)))) :+: ((C1 (MetaCons "ArrowWithoutLambda" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lexeme])) :+: C1 (MetaCons "ArrowInScope" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Lexeme]))) :+: (C1 (MetaCons "EmptyExpression" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LexerError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

handleParseError :: ParseError -> IO a Source #

type MonadParse m = (MonadState ParseState m, MonadThrow m, MonadIO m) Source #

runParse :: Text -> IO Expr Source #

runParserT :: StateT ParseState IO a -> IO a Source #

parseExpr :: MonadParse m => Text -> m Expr Source #

expr :: MonadParse m => [Lexeme] -> m Expr Source #

Lexing

data Lexeme Source #

Constructors

Lambda
Arrow
Ident String
Bracketed
Fields getBracketed :: [Lexeme]

Instances

Eq Lexeme Source #
Instance details Defined in LText.Expr Methods (==) :: Lexeme -> Lexeme -> Bool # (/=) :: Lexeme -> Lexeme -> Bool #
Show Lexeme Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> Lexeme -> ShowS # show :: Lexeme -> String # showList :: [Lexeme] -> ShowS #

lex :: Parser [Lexeme] Source #

Expects to be wrapped in parens

lambda :: Parser Lexeme Source #

arrow :: Parser Lexeme Source #

ident :: Parser Lexeme Source #

bracketed :: Parser Lexeme Source #