Safe Haskell	None
Language	Haskell2010

JL.Types

Synopsis

data ParseException
- = TokenizerError !ParseError
- | ParserError !ParseError
data Type
- = VariableType !TypeVariable
- | FunctionType !Type !Type
- | JSONType
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
- = 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

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

data Type Source #

A type.

Constructors

VariableType !TypeVariable
FunctionType !Type !Type
JSONType

Instances

Instances details

Show Type Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Type -> ShowS show :: Type -> String showList :: [Type] -> ShowS
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

data Expression Source #

A parsed expression.

Instances

Instances details

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

data Subscripted Source #

Constructors

WildcardSubscripted
ExpressionSubscripted Expression

Instances

Instances details

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

data Subscript Source #

Constructors

PropertySubscript Text
ExpressionSubscript Expression

Instances

Instances details

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

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

Show Constant Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Constant -> ShowS show :: Constant -> String showList :: [Constant] -> ShowS
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

newtype TypeVariable Source #

A type variable, generated by the type system.

Constructors

TypeVariable Int

Instances

Instances details

Show TypeVariable Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> TypeVariable -> ShowS show :: TypeVariable -> String showList :: [TypeVariable] -> ShowS
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

newtype Variable Source #

A value variable, inputted by the programmer.

Constructors

Variable Text

Instances

Instances details

Show Variable Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Variable -> ShowS show :: Variable -> String showList :: [Variable] -> ShowS
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

data Token Source #

Constructors

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

Instances

Instances details

Show Token Source #
Instance details Defined in JL.Types Methods showsPrec :: Int -> Token -> ShowS show :: Token -> String showList :: [Token] -> ShowS
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

data Location Source #

Constructors

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

Instances

Instances details

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

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