Copyright	(c) Edward Kmett 2017
License	BSD2
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Token

Description

Synopsis

Documentation

data Token Source #

Constructors

Token !Delta !Text
TokenName !Delta !Name
TokenKeyword !Delta !Keyword
TokenInteger !Delta !Integer
TokenDouble !Delta !Double
TokenString !Delta !Text
TokenChar !Delta !Char
TokenNested !(Located Pair) !(Cat Token)
TokenMismatch !(Located Pair) !(Located Pair) !(Cat Token)
TokenUnmatchedOpening !(Located Pair)
TokenUnmatchedClosing !(Located Pair)
TokenLexicalError !Delta String

Instances

Eq Token Source #
Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
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 #
Read Token Source #
Methods readsPrec :: Int -> ReadS Token # readList :: ReadS [Token] # readPrec :: ReadPrec Token # readListPrec :: ReadPrec [Token] #
Show Token Source #
Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Relative Token Source #
Methods rel :: Delta -> Token -> Token Source #

data Pair Source #

Constructors

Brace
Bracket
Paren

Instances

Bounded Pair Source #
Methods minBound :: Pair # maxBound :: Pair #
Enum Pair Source #
Methods succ :: Pair -> Pair # pred :: Pair -> Pair # toEnum :: Int -> Pair # fromEnum :: Pair -> Int # enumFrom :: Pair -> [Pair] # enumFromThen :: Pair -> Pair -> [Pair] # enumFromTo :: Pair -> Pair -> [Pair] # enumFromThenTo :: Pair -> Pair -> Pair -> [Pair] #
Eq Pair Source #
Methods (==) :: Pair -> Pair -> Bool # (/=) :: Pair -> Pair -> Bool #
Ord Pair Source #
Methods compare :: Pair -> Pair -> Ordering # (<) :: Pair -> Pair -> Bool # (<=) :: Pair -> Pair -> Bool # (>) :: Pair -> Pair -> Bool # (>=) :: Pair -> Pair -> Bool # max :: Pair -> Pair -> Pair # min :: Pair -> Pair -> Pair #
Read Pair Source #
Methods readsPrec :: Int -> ReadS Pair # readList :: ReadS [Pair] # readPrec :: ReadPrec Pair # readListPrec :: ReadPrec [Pair] #
Show Pair Source #
Methods showsPrec :: Int -> Pair -> ShowS # show :: Pair -> String # showList :: [Pair] -> ShowS #
Ix Pair Source #
Methods range :: (Pair, Pair) -> [Pair] # index :: (Pair, Pair) -> Pair -> Int # unsafeIndex :: (Pair, Pair) -> Pair -> Int inRange :: (Pair, Pair) -> Pair -> Bool # rangeSize :: (Pair, Pair) -> Int # unsafeRangeSize :: (Pair, Pair) -> Int
Generic Pair Source #
Associated Types type Rep Pair :: * -> * # Methods from :: Pair -> Rep Pair x # to :: Rep Pair x -> Pair #
type Rep Pair Source #
type Rep Pair = D1 * (MetaData "Pair" "Coda.Syntax.Token" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) ((:+:) * (C1 * (MetaCons "Brace" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "Bracket" PrefixI False) (U1 )) (C1 (MetaCons "Paren" PrefixI False) (U1 *))))

data LayoutMode Source #

Constructors

LNone
LDo
LLet
LOf
LWhere

Instances

Eq LayoutMode Source #
Methods (==) :: LayoutMode -> LayoutMode -> Bool # (/=) :: LayoutMode -> LayoutMode -> Bool #
Ord LayoutMode Source #
Methods compare :: LayoutMode -> LayoutMode -> Ordering # (<) :: LayoutMode -> LayoutMode -> Bool # (<=) :: LayoutMode -> LayoutMode -> Bool # (>) :: LayoutMode -> LayoutMode -> Bool # (>=) :: LayoutMode -> LayoutMode -> Bool # max :: LayoutMode -> LayoutMode -> LayoutMode # min :: LayoutMode -> LayoutMode -> LayoutMode #
Read LayoutMode Source #
Methods readsPrec :: Int -> ReadS LayoutMode # readList :: ReadS [LayoutMode] # readPrec :: ReadPrec LayoutMode # readListPrec :: ReadPrec [LayoutMode] #
Show LayoutMode Source #
Methods showsPrec :: Int -> LayoutMode -> ShowS # show :: LayoutMode -> String # showList :: [LayoutMode] -> ShowS #
Default LayoutMode Source #
Methods def :: LayoutMode

data Keyword Source #

Constructors

KAs
KCase
KClass
KData
KDefault
KDeriving
KDo
KElse
KHiding
KIf
KImport
KIn
KInfix
KInfixl
KInfixr
KInstance
KLet
KModule
KNewtype
KOf
KQualified
KThen
KType
KWhere

Instances

Bounded Keyword Source #
Methods minBound :: Keyword # maxBound :: Keyword #
Enum Keyword Source #
Methods succ :: Keyword -> Keyword # pred :: Keyword -> Keyword # toEnum :: Int -> Keyword # fromEnum :: Keyword -> Int # enumFrom :: Keyword -> [Keyword] # enumFromThen :: Keyword -> Keyword -> [Keyword] # enumFromTo :: Keyword -> Keyword -> [Keyword] # enumFromThenTo :: Keyword -> Keyword -> Keyword -> [Keyword] #
Eq Keyword Source #
Methods (==) :: Keyword -> Keyword -> Bool # (/=) :: Keyword -> Keyword -> Bool #
Data Keyword Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Keyword -> c Keyword # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Keyword # toConstr :: Keyword -> Constr # dataTypeOf :: Keyword -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Keyword) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Keyword) # gmapT :: (forall b. Data b => b -> b) -> Keyword -> Keyword # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Keyword -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Keyword -> r # gmapQ :: (forall d. Data d => d -> u) -> Keyword -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Keyword -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Keyword -> m Keyword # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Keyword -> m Keyword # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Keyword -> m Keyword #
Ord Keyword Source #
Methods compare :: Keyword -> Keyword -> Ordering # (<) :: Keyword -> Keyword -> Bool # (<=) :: Keyword -> Keyword -> Bool # (>) :: Keyword -> Keyword -> Bool # (>=) :: Keyword -> Keyword -> Bool # max :: Keyword -> Keyword -> Keyword # min :: Keyword -> Keyword -> Keyword #
Read Keyword Source #
Methods readsPrec :: Int -> ReadS Keyword # readList :: ReadS [Keyword] # readPrec :: ReadPrec Keyword # readListPrec :: ReadPrec [Keyword] #
Show Keyword Source #
Methods showsPrec :: Int -> Keyword -> ShowS # show :: Keyword -> String # showList :: [Keyword] -> ShowS #
Ix Keyword Source #
Methods range :: (Keyword, Keyword) -> [Keyword] # index :: (Keyword, Keyword) -> Keyword -> Int # unsafeIndex :: (Keyword, Keyword) -> Keyword -> Int inRange :: (Keyword, Keyword) -> Keyword -> Bool # rangeSize :: (Keyword, Keyword) -> Int # unsafeRangeSize :: (Keyword, Keyword) -> Int
Generic Keyword Source #
Associated Types type Rep Keyword :: * -> * # Methods from :: Keyword -> Rep Keyword x # to :: Rep Keyword x -> Keyword #
type Rep Keyword Source #
type Rep Keyword = D1 * (MetaData "Keyword" "Coda.Syntax.Token" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) ((:+:) * ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "KAs" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KCase" PrefixI False) (U1 )) (C1 (MetaCons "KClass" PrefixI False) (U1 )))) ((:+:) (C1 * (MetaCons "KData" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KDefault" PrefixI False) (U1 )) (C1 (MetaCons "KDeriving" PrefixI False) (U1 ))))) ((:+:) ((:+:) * (C1 * (MetaCons "KDo" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KElse" PrefixI False) (U1 )) (C1 (MetaCons "KHiding" PrefixI False) (U1 )))) ((:+:) (C1 * (MetaCons "KIf" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KImport" PrefixI False) (U1 )) (C1 (MetaCons "KIn" PrefixI False) (U1 )))))) ((:+:) ((:+:) * ((:+:) * (C1 * (MetaCons "KInfix" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KInfixl" PrefixI False) (U1 )) (C1 (MetaCons "KInfixr" PrefixI False) (U1 )))) ((:+:) (C1 * (MetaCons "KInstance" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KLet" PrefixI False) (U1 )) (C1 (MetaCons "KModule" PrefixI False) (U1 ))))) ((:+:) ((:+:) * (C1 * (MetaCons "KNewtype" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KOf" PrefixI False) (U1 )) (C1 (MetaCons "KQualified" PrefixI False) (U1 )))) ((:+:) (C1 * (MetaCons "KThen" PrefixI False) (U1 )) ((:+:) (C1 * (MetaCons "KType" PrefixI False) (U1 )) (C1 (MetaCons "KWhere" PrefixI False) (U1 *)))))))

keywords :: Set String Source #

These are keywords that may occur anywhere in a source file

startingKeywords :: Set String Source #

these are keywords that are only valid at the start of a top level statement

layoutKeywords :: Set String Source #

These are keywords that introduce layout

nested :: Located Pair -> Cat Token -> Token Source #

mismatch :: Located Pair -> Located Pair -> Cat Token -> Token Source #

unmatchedOpening :: Located Pair -> Token Source #

unmatchedClosing :: Located Pair -> Token Source #

lexicalError :: Delta -> String -> Token Source #