jl-0.1.0: Functional sed for JSON
Safe HaskellSafe-Inferred
LanguageHaskell2010

JL.Types

Synopsis

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

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.

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

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 #

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

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

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

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 #

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

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