alex
Safe HaskellSafe-Inferred
LanguageHaskell2010

NFA

Documentation

type NFA = Array SNum NState Source #

data NState Source #

Constructors

NSt 

Fields

Instances

Instances details
Show NState Source # 
Instance details

Defined in NFA

Methods

showsPrec :: Int -> NState -> ShowS #

show :: NState -> String #

showList :: [NState] -> ShowS #

scanner2nfa :: Encoding -> Scanner -> [StartCode] -> NFA Source #

rexp2nfa :: SNum -> SNum -> RExp -> NFAM () Source #

type MapNFA = Map SNum NState Source #

newtype NFAM a Source #

Constructors

N 

Fields

Instances

Instances details
Applicative NFAM Source # 
Instance details

Defined in NFA

Methods

pure :: a -> NFAM a #

(<*>) :: NFAM (a -> b) -> NFAM a -> NFAM b #

liftA2 :: (a -> b -> c) -> NFAM a -> NFAM b -> NFAM c #

(*>) :: NFAM a -> NFAM b -> NFAM b #

(<*) :: NFAM a -> NFAM b -> NFAM a #

Functor NFAM Source # 
Instance details

Defined in NFA

Methods

fmap :: (a -> b) -> NFAM a -> NFAM b #

(<$) :: a -> NFAM b -> NFAM a #

Monad NFAM Source # 
Instance details

Defined in NFA

Methods

(>>=) :: NFAM a -> (a -> NFAM b) -> NFAM b #

(>>) :: NFAM a -> NFAM b -> NFAM b #

return :: a -> NFAM a #

runNFA :: Encoding -> NFAM () -> NFA Source #

e_close :: Array Int NState -> NFA Source #

newState :: NFAM SNum Source #

getEncoding :: NFAM Encoding Source #

anyBytes :: SNum -> Int -> SNum -> NFAM () Source #

bytesEdge :: SNum -> [Byte] -> [Byte] -> SNum -> NFAM () Source #

charEdge :: SNum -> CharSet -> SNum -> NFAM () Source #

byteEdge :: SNum -> ByteSet -> SNum -> NFAM () Source #

epsilonEdge :: SNum -> SNum -> NFAM () Source #

accept :: SNum -> Accept Code -> NFAM () Source #

rctxt_accept :: Accept Code Source #