Safe Haskell	Safe-Inferred
Language	Haskell2010

LText.Expr

Contents

Lexing

Synopsis

data Expr
- = Abs String Expr
- | App Expr Expr
- | Var String
- | Lit {
  - litContent :: [Text]
  - litSource :: FilePath
  - litInError :: Bool
  }
- | Concat {
  - concatLeft :: Expr
  - concatRight :: Expr
  - concatSource :: FilePath
  - concatInError :: Bool
  }
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
Fields litContent :: [Text] litSource :: FilePath litInError :: Bool
Concat
Fields concatLeft :: Expr concatRight :: Expr concatSource :: FilePath concatInError :: Bool

Instances

Instances details

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

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

Instances details

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

data ParseState Source #

Constructors

InsideLambda	..->
Scope ScopeUse	(..)

Instances

Instances details

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

initParseState :: ParseState Source #

data ParseError Source #

Constructors

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

Instances

Instances details

Exception ParseError Source #
Instance details Defined in LText.Expr Methods toException :: ParseError -> SomeException # fromException :: SomeException -> Maybe ParseError # displayException :: ParseError -> String #
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 #
Show ParseError Source #
Instance details Defined in LText.Expr Methods showsPrec :: Int -> ParseError -> ShowS # show :: ParseError -> String # showList :: [ParseError] -> ShowS #
Eq ParseError Source #
Instance details Defined in LText.Expr Methods (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool #
type Rep ParseError Source #
Instance details Defined in LText.Expr type Rep ParseError = D1 ('MetaData "ParseError" "LText.Expr" "ltext-0.1.5-2mWRDtVcy1xDs2drGHsToO" '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

Instances details

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

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 #