Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.CTPL0

Documentation

data BufferState Source

Constructors

BufferState
Fields leftBehind :: String thisChar :: Char rightPending :: String

data RegisterState Source

Constructors

RegisterState
Fields ax :: Integer mk :: [String] rk :: [Int] ck :: [Int] cp :: Bool

data InfoState Source

Constructors

InfoState
Fields instrStats :: AVL (Char, Int)

data CTPL0State Source

Constructors

CTPL0State
Fields bufferState :: BufferState programState :: BufferState registerState :: RegisterState infoState :: InfoState

data Exec a Source

Constructors

Succ a
Expired
ConfViol
SynViol

Instances

Show a => Show (Exec a)

newtype CTPL0 a Source

Constructors

CTPL0
Fields runCTPL0 :: Int -> CTPL0State -> Exec (a, CTPL0State, Int)

Instances

Monad CTPL0

getState :: (CTPL0State -> a) -> CTPL0 a Source

modState :: (CTPL0State -> CTPL0State) -> CTPL0 () Source

consumeTime :: CTPL0 () Source

confViol :: CTPL0 a Source

synViol :: CTPL0 a Source

modBufferState :: (BufferState -> BufferState) -> CTPL0 () Source

modProgramState :: (BufferState -> BufferState) -> CTPL0 () Source

modRegisterState :: (RegisterState -> RegisterState) -> CTPL0 () Source

walkBuffer :: Int -> BufferState -> BufferState Source

getInstr :: CTPL0 Char Source

endOfInstr :: CTPL0 Bool Source

instrNumArg :: CTPL0 Int Source

instrDelimArg :: CTPL0 String Source

getIP :: CTPL0 Int Source

getCP :: CTPL0 Int Source

canRelJump :: Int -> CTPL0 Bool Source

canRelWalk :: Int -> CTPL0 Bool Source

provided :: CTPL0 a -> CTPL0 Bool -> CTPL0 a Source

sx :: RegisterState -> Integer Source

setSX :: Integer -> RegisterState -> RegisterState Source

singleInstr :: CTPL0 () Source

singleCond :: CTPL0 Bool Source

procInstrs :: CTPL0 () Source

evalCTPL0' :: String -> String -> Int -> Exec (String, Int, Integer, Int, [] (Char, Int)) Source

evalCTPL0 :: String -> String -> Int -> Exec String Source

unetx :: String -> String Source

appendBeforeETX :: String -> String -> String Source