Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data ParseException
- data Type
- data Expression
- = VariableExpression Variable
- | LambdaExpression Variable Expression
- | ApplicationExpression Expression Expression
- | InfixExpression Expression Variable Expression
- | IfExpression Expression Expression Expression
- | SubscriptExpression Subscripted [Subscript]
- | RecordExpression (HashMap Text Expression)
- | ArrayExpression (Vector Expression)
- | ConstantExpression Constant
- data Subscripted
- data Subscript
- data Core
- = VariableCore Variable
- | LambdaCore Variable Core
- | ApplicationCore Core Core
- | IfCore Core Core Core
- | EvalCore (Core -> Core)
- | RecordCore (HashMap Text Core)
- | ArrayCore (Vector Core)
- | ConstantCore Constant
- data Compare
- coreToCompare :: Core -> Compare
- data Constant
- newtype TypeVariable = TypeVariable Int
- newtype Variable = Variable Text
- data Token
- = If
- | Then
- | Else
- | Case
- | Of
- | Backslash
- | RightArrow
- | Dollar
- | OpenParen
- | CloseParen
- | OpenBracket
- | CloseBracket
- | VariableToken !Text
- | StringToken !Text
- | Operator !Text
- | Period
- | Comma
- | Integer !Integer
- | Decimal !Double
- | OpenBrace
- | CloseBrace
- | Colon
- | NonIndentedNewline
- | Bar
- | TrueToken
- | FalseToken
- | NullToken
- data Location = Location {
- locationStartLine :: !Int
- locationStartColumn :: !Int
- locationEndLine :: !Int
- locationEndColumn :: !Int
- data Definition = Definition {}
Documentation
data ParseException Source #
Instances
Show ParseException Source # | |
Defined in JL.Types showsPrec :: Int -> ParseException -> ShowS # show :: ParseException -> String # showList :: [ParseException] -> ShowS # | |
Exception ParseException Source # | |
Defined in JL.Types |
data Expression Source #
A parsed expression.
Instances
Eq Expression Source # | |
Defined in JL.Types (==) :: Expression -> Expression -> Bool # (/=) :: Expression -> Expression -> Bool # | |
Show Expression Source # | |
Defined in JL.Types showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS # |
data Subscripted Source #
Instances
Eq Subscripted Source # | |
Defined in JL.Types (==) :: Subscripted -> Subscripted -> Bool # (/=) :: Subscripted -> Subscripted -> Bool # | |
Show Subscripted Source # | |
Defined in JL.Types showsPrec :: Int -> Subscripted -> ShowS # show :: Subscripted -> String # showList :: [Subscripted] -> ShowS # |
Desugared core AST.
coreToCompare :: Core -> Compare Source #
A self-evaluating constant.
newtype TypeVariable Source #
A type variable, generated by the type system.
Instances
Eq TypeVariable Source # | |
Defined in JL.Types (==) :: TypeVariable -> TypeVariable -> Bool # (/=) :: TypeVariable -> TypeVariable -> Bool # | |
Ord TypeVariable Source # | |
Defined in JL.Types compare :: TypeVariable -> TypeVariable -> Ordering # (<) :: TypeVariable -> TypeVariable -> Bool # (<=) :: TypeVariable -> TypeVariable -> Bool # (>) :: TypeVariable -> TypeVariable -> Bool # (>=) :: TypeVariable -> TypeVariable -> Bool # max :: TypeVariable -> TypeVariable -> TypeVariable # min :: TypeVariable -> TypeVariable -> TypeVariable # | |
Show TypeVariable Source # | |
Defined in JL.Types showsPrec :: Int -> TypeVariable -> ShowS # show :: TypeVariable -> String # showList :: [TypeVariable] -> ShowS # |
A value variable, inputted by the programmer.
Location | |
|
data Definition Source #