ctpl-0.1.0.1: A programming language for text modification.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Text.CTPL

Documentation

data Procedure Source

Constructors

Procedure 

Fields

procName :: String
 
procInstr :: Instruction
 
procAddr :: Int
 

data CTPLState Source

Constructors

CTPLState 

Fields

definedProcs :: [Procedure]
 

data Exec a Source

Constructors

Succ a 
NoSuchProc String 
SyntaxFault 

Instances

Monad Exec 
Show a => Show (Exec a) 

data CTPL a Source

Constructors

CTPL 

Fields

runCTPL :: CTPLState -> Exec (a, CTPLState, String -> String)
 

Instances

getState :: (CTPLState -> a) -> CTPL a Source

modState :: (CTPLState -> CTPLState) -> CTPL () Source

emit :: String -> CTPL () Source

getProc :: String -> (Procedure -> a) -> CTPL a Source

catchEmission :: CTPL () -> CTPL String Source

discardEmission :: CTPL a -> CTPL a Source

data NumSource Source

Constructors

AX Int 
CK0 Int 
Buf NumSource Int 
Const Int 
Len Int 
CP Int 

Instances

data Instruction Source

Constructors

SetAX NumSource 
SetCK0 NumSource 
SetBuf NumSource NumSource 
Call String 
PopAX 
PopCK 
PushAX 
PushCK 
AXToTape 
CK0ToTape 
AXFromTape 
CK0FromTape 
PushTape 
PopTape 
Walk NumSource 
Remove NumSource 
Insert NumSource String 
Return 
IfThenElse Condition Instruction Instruction 
UntilDo Condition Instruction 
Compound [Instruction] 

Instances

data Condition Source

Constructors

EqAX NumSource 
EqCK0 NumSource 
LtAX NumSource 
LtCK0 NumSource 
GtAX NumSource 
GtCK0 NumSource 
IsUpper NumSource 
IsLower NumSource 
IsDigit NumSource 
IsEob NumSource 
Negation Condition 
EqCh NumSource [Char] 

Instances

allocProcs :: Int -> [Procedure] -> CTPL [Procedure] Source

dumpIncop :: String -> Int -> CTPL () Source

dumpAddr :: Int -> CTPL () Source

predictSpace :: Instruction -> CTPL Int Source

splitStr :: String -> [String] Source

arepl :: Int -> [Char] Source

dumpInstr :: Instruction -> CTPL () Source

dumpCond :: Condition -> String -> CTPL String Source

compile :: [Procedure] -> Instruction -> Exec String Source

multiParse :: ChParser m => m ([Procedure], [Instruction]) Source

parseInstr :: ChParser m => m Instruction Source

parseString :: ChParser m => m String Source

parseReturn :: ChParser m => m Instruction Source

parseInsert :: ChParser m => m Instruction Source

parseRemove :: ChParser m => m Instruction Source

parseWalk :: ChParser m => m Instruction Source

parseCall :: ChParser m => m Instruction Source

parseAssignment :: ChParser m => m Instruction Source

parseNumSource :: ChParser m => m NumSource Source

parseProc :: ChParser m => m Procedure Source

parseIf :: ChParser m => m Instruction Source

parseLoop :: ChParser m => m Instruction Source

parseFor :: ChParser m => m Instruction Source

parseCond :: ChParser m => m Condition Source

parse :: String -> [] ([Procedure], [Instruction]) Source

compileCTPL :: String -> Exec String Source

evalCTPL :: String -> String -> Int -> Exec String Source