Safe Haskell	None
Language	Haskell2010

JL.Types

Description

Synopsis

data ParseException
- = TokenizerError !ParseError
- | ParserError !ParseError
data Type
- = VariableType !TypeVariable
- | FunctionType !Type !Type
- | JSONType
data Expression
data Subscripted
- = WildcardSubscripted
- | ExpressionSubscripted Expression
data Subscript
- = PropertySubscript Text
- | ExpressionSubscript Expression
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
- = ConstantCompare Constant
- | VectorCompare (Vector Compare)
- | RecordCompare [(Text, Compare)]
coreToCompare :: Core -> Compare
data Constant
- = StringConstant Text
- | NumberConstant Scientific
- | BoolConstant Bool
- | NullConstant
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 {
- definitionName :: Variable
- definitionDoc :: Text
- definitionType :: Type
- definitionCore :: Core
}

Documentation

data ParseException Source #

Constructors

TokenizerError !ParseError
ParserError !ParseError

Instances

Instances details

Show ParseException Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> ParseException -> ShowS # show :: ParseException -> String # showList :: [ParseException] -> ShowS #
Exception ParseException Source #
Instance details Defined in JL.Types Methods toException :: ParseException -> SomeException # fromException :: SomeException -> Maybe ParseException # displayException :: ParseException -> String #

data Type Source #

A type.

Constructors

VariableType !TypeVariable
FunctionType !Type !Type
JSONType

Instances

Instances details

Eq Type Source #
Instance details Defined in JL.Types Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details Defined in JL.Types Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Show Type Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data Expression Source #

A parsed expression.

Instances

Instances details

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

data Subscripted Source #

Constructors

WildcardSubscripted
ExpressionSubscripted Expression

Instances

Instances details

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

data Subscript Source #

Constructors

PropertySubscript Text
ExpressionSubscript Expression

Instances

Instances details

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

data Core Source #

Desugared core AST.

Constructors

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 Source #

Constructors

ConstantCompare Constant
VectorCompare (Vector Compare)
RecordCompare [(Text, Compare)]

Instances

Instances details

Eq Compare Source #
Instance details Defined in JL.Types Methods (==) :: Compare -> Compare -> Bool # (/=) :: Compare -> Compare -> Bool #
Ord Compare Source #
Instance details Defined in JL.Types Methods compare :: Compare -> Compare -> Ordering # (<) :: Compare -> Compare -> Bool # (<=) :: Compare -> Compare -> Bool # (>) :: Compare -> Compare -> Bool # (>=) :: Compare -> Compare -> Bool # max :: Compare -> Compare -> Compare # min :: Compare -> Compare -> Compare #

coreToCompare :: Core -> Compare Source #

data Constant Source #

A self-evaluating constant.

Constructors

StringConstant Text
NumberConstant Scientific
BoolConstant Bool
NullConstant

Instances

Instances details

Eq Constant Source #
Instance details Defined in JL.Types Methods (==) :: Constant -> Constant -> Bool # (/=) :: Constant -> Constant -> Bool #
Ord Constant Source #
Instance details Defined in JL.Types Methods compare :: Constant -> Constant -> Ordering # (<) :: Constant -> Constant -> Bool # (<=) :: Constant -> Constant -> Bool # (>) :: Constant -> Constant -> Bool # (>=) :: Constant -> Constant -> Bool # max :: Constant -> Constant -> Constant # min :: Constant -> Constant -> Constant #
Show Constant Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Constant -> ShowS # show :: Constant -> String # showList :: [Constant] -> ShowS #

newtype TypeVariable Source #

A type variable, generated by the type system.

Constructors

TypeVariable Int

Instances

Instances details

Eq TypeVariable Source #
Instance details Defined in JL.Types Methods (==) :: TypeVariable -> TypeVariable -> Bool # (/=) :: TypeVariable -> TypeVariable -> Bool #
Ord TypeVariable Source #
Instance details Defined in JL.Types Methods 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 #
Instance details Defined in JL.Types Methods showsPrec :: Int -> TypeVariable -> ShowS # show :: TypeVariable -> String # showList :: [TypeVariable] -> ShowS #

newtype Variable Source #

A value variable, inputted by the programmer.

Constructors

Variable Text

Instances

Instances details

Eq Variable Source #
Instance details Defined in JL.Types Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Ord Variable Source #
Instance details Defined in JL.Types Methods compare :: Variable -> Variable -> Ordering # (<) :: Variable -> Variable -> Bool # (<=) :: Variable -> Variable -> Bool # (>) :: Variable -> Variable -> Bool # (>=) :: Variable -> Variable -> Bool # max :: Variable -> Variable -> Variable # min :: Variable -> Variable -> Variable #
Show Variable Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #

data Token Source #

Instances

Instances details

Eq Token Source #
Instance details Defined in JL.Types Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
Instance details Defined in JL.Types Methods compare :: Token -> Token -> Ordering # (<) :: Token -> Token -> Bool # (<=) :: Token -> Token -> Bool # (>) :: Token -> Token -> Bool # (>=) :: Token -> Token -> Bool # max :: Token -> Token -> Token # min :: Token -> Token -> Token #
Show Token Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #

data Location Source #

Constructors

Location
Fields locationStartLine :: !Int locationStartColumn :: !Int locationEndLine :: !Int locationEndColumn :: !Int

Instances

Instances details

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

data Definition Source #

Constructors

Definition
Fields definitionName :: Variable definitionDoc :: Text definitionType :: Type definitionCore :: Core

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

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