Safe Haskell	Safe-Inferred
Language	Haskell2010

AbsSyn

Synopsis

type Code = String
data Directive
- = WrapperDirective String
- | EncodingDirective Encoding
- | ActionType String
- | TypeClass String
- | TokenType String
data Scheme
- = Default {
  - defaultTypeInfo :: Maybe (Maybe String, String)
  }
- | GScan {
  - gscanTypeInfo :: Maybe (Maybe String, String)
  }
- | Basic {
  - basicStrType :: StrType
  - basicTypeInfo :: Maybe (Maybe String, String)
  }
- | Posn {
  - posnStrType :: StrType
  - posnTypeInfo :: Maybe (Maybe String, String)
  }
- | Monad {
  - monadStrType :: StrType
  - monadUserState :: Bool
  - monadTypeInfo :: Maybe (Maybe String, String)
  }
wrapperCppDefs :: Scheme -> Maybe [String]
data Scanner = Scanner {
- scannerName :: String
- scannerTokens :: [RECtx]
}
data RECtx = RECtx {
- reCtxStartCodes :: [(String, StartCode)]
- reCtxPreCtx :: Maybe CharSet
- reCtxRE :: RExp
- reCtxPostCtx :: RightContext RExp
- reCtxCode :: Maybe Code
}
data RExp
- = Eps
- | Ch CharSet
- | RExp :%% RExp
- | RExp :|| RExp
- | Star RExp
- | Plus RExp
- | Ques RExp
nullable :: RExp -> Bool
data DFA s a = DFA {
- dfa_start_states :: [s]
- dfa_states :: Map s (State s a)
}
data State s a = State {
- state_acc :: [Accept a]
- state_out :: IntMap s
}
type SNum = Int
type StartCode = Int
data Accept a = Acc {
- accPrio :: Int
- accAction :: Maybe a
- accLeftCtx :: Maybe CharSet
- accRightCtx :: RightContext SNum
}
data RightContext r
- = NoRightContext
- | RightContextRExp r
- | RightContextCode Code
showRCtx :: Show r => RightContext r -> String -> String
encodeStartCodes :: Scanner -> (Scanner, [StartCode], ShowS)
extractActions :: Scheme -> Scanner -> (Scanner, ShowS)
data Target
- = GhcTarget
- | HaskellTarget
data UsesPreds
- = UsesPreds
- | DoesntUsePreds
usesPreds :: DFA s a -> UsesPreds
data StrType
- = Str
- | Lazy
- | Strict
- | StrictText

Documentation

type Code = String Source #

data Directive Source #

Constructors

WrapperDirective String
EncodingDirective Encoding
ActionType String
TypeClass String
TokenType String

Instances

Instances details

Show Directive Source #
Instance details Defined in AbsSyn Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #

data Scheme Source #

Constructors

Default
Fields defaultTypeInfo :: Maybe (Maybe String, String)
GScan
Fields gscanTypeInfo :: Maybe (Maybe String, String)
Basic
Fields basicStrType :: StrType basicTypeInfo :: Maybe (Maybe String, String)
Posn
Fields posnStrType :: StrType posnTypeInfo :: Maybe (Maybe String, String)
Monad
Fields monadStrType :: StrType monadUserState :: Bool monadTypeInfo :: Maybe (Maybe String, String)

wrapperCppDefs :: Scheme -> Maybe [String] Source #

data Scanner Source #

Constructors

Scanner
Fields scannerName :: String scannerTokens :: [RECtx]

Instances

Instances details

Show Scanner Source #
Instance details Defined in AbsSyn Methods showsPrec :: Int -> Scanner -> ShowS # show :: Scanner -> String # showList :: [Scanner] -> ShowS #

data RECtx Source #

Constructors

RECtx
Fields reCtxStartCodes :: [(String, StartCode)] reCtxPreCtx :: Maybe CharSet reCtxRE :: RExp reCtxPostCtx :: RightContext RExp reCtxCode :: Maybe Code

Instances

Instances details

Show RECtx Source #
Instance details Defined in AbsSyn Methods showsPrec :: Int -> RECtx -> ShowS # show :: RECtx -> String # showList :: [RECtx] -> ShowS #

data RExp Source #

Constructors

Eps	Empty.
Ch CharSet	Singleton.
RExp :%% RExp infixl 5	Sequence.
RExp :\|\| RExp infixl 4	Alternative.
Star RExp	Zero or more repetitions.
Plus RExp	One or more repetitions.
Ques RExp	Zero or one repetitions.

Instances

Instances details

Show RExp Source #
Instance details Defined in AbsSyn Methods showsPrec :: Int -> RExp -> ShowS # show :: RExp -> String # showList :: [RExp] -> ShowS #

nullable :: RExp -> Bool Source #

A regular expression is nullable if it matches the empty string.

data DFA s a Source #

Constructors

DFA
Fields dfa_start_states :: [s] dfa_states :: Map s (State s a)

data State s a Source #

Constructors

State
Fields state_acc :: [Accept a] state_out :: IntMap s

type SNum = Int Source #

type StartCode = Int Source #

data Accept a Source #

Constructors

Acc
Fields accPrio :: Int accAction :: Maybe a accLeftCtx :: Maybe CharSet accRightCtx :: RightContext SNum

Instances

Instances details

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

data RightContext r Source #

Constructors

NoRightContext
RightContextRExp r
RightContextCode Code

Instances

Instances details

Functor RightContext Source #
Instance details Defined in AbsSyn Methods fmap :: (a -> b) -> RightContext a -> RightContext b # (<$) :: a -> RightContext b -> RightContext a #
Eq r => Eq (RightContext r) Source #
Instance details Defined in AbsSyn Methods (==) :: RightContext r -> RightContext r -> Bool # (/=) :: RightContext r -> RightContext r -> Bool #
Ord r => Ord (RightContext r) Source #
Instance details Defined in AbsSyn Methods compare :: RightContext r -> RightContext r -> Ordering # (<) :: RightContext r -> RightContext r -> Bool # (<=) :: RightContext r -> RightContext r -> Bool # (>) :: RightContext r -> RightContext r -> Bool # (>=) :: RightContext r -> RightContext r -> Bool # max :: RightContext r -> RightContext r -> RightContext r # min :: RightContext r -> RightContext r -> RightContext r #

showRCtx :: Show r => RightContext r -> String -> String Source #

encodeStartCodes :: Scanner -> (Scanner, [StartCode], ShowS) Source #

extractActions :: Scheme -> Scanner -> (Scanner, ShowS) Source #

data Target Source #

Constructors

GhcTarget
HaskellTarget

Instances

Instances details

Eq Target Source #
Instance details Defined in AbsSyn Methods (==) :: Target -> Target -> Bool # (/=) :: Target -> Target -> Bool #

data UsesPreds Source #

Constructors

UsesPreds
DoesntUsePreds

Instances

Instances details

Eq UsesPreds Source #
Instance details Defined in AbsSyn Methods (==) :: UsesPreds -> UsesPreds -> Bool # (/=) :: UsesPreds -> UsesPreds -> Bool #

usesPreds :: DFA s a -> UsesPreds Source #

data StrType Source #

Constructors

Str
Lazy
Strict
StrictText

Instances

Instances details

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