Safe Haskell	Safe-Infered

Language.Haskell.Her.HaLay

Documentation

ready :: String -> String -> [[Tok]]Source

type Position = ((String, Int), Int)Source

tokenize :: (Position, String) -> [(Int, Tok)]Source

data Tok Source

Constructors

Lit String
Ope BK
Clo BK
Uid String
Lid String
KW String
Sym String
Semi
Spc String
Com String
Urk Char
NL (String, Int)
B BK [Tok]
L String [[Tok]]
T Tag [Tok]

Instances

Eq Tok
Show Tok

tokOut :: Tok -> String Source

toksOut :: [Tok] -> String Source

tokssOut :: [[Tok]] -> String Source

isSpcT :: Tok -> Bool Source

tokIn :: L Tok Source

data ChunkMode Source

Constructors

Lay String Int
Bra BK
NoLay

Instances

Eq ChunkMode
Show ChunkMode

getChunks :: ChunkMode -> [Tok] -> [(Int, Tok)] -> ([Tok], [(Int, Tok)])Source

data LineMode Source

Constructors

Bracing
Seek ChunkMode String
Edge String Int

Instances

Eq LineMode
Show LineMode

getLines :: LineMode -> [[Tok]] -> [(Int, Tok)] -> ([[Tok]], [(Int, Tok)])Source

properBrace :: [(Int, Tok)] -> Bool Source

layDKillaz :: [(String, String)]Source

splendid :: [Tok] -> [[Tok]]Source

data Tag Source

Constructors

Ty
Ki
Ex

Instances

Eq Tag
Show Tag

tender :: Tok -> Bool Source

tender' :: Tok -> Bool Source

exTyMu :: [Tok] -> Maybe [Tok]Source

oldStyle :: [Tok] -> [Tok]Source

tyMu :: [Tok] -> Maybe [Tok]Source

kiMu :: [Tok] -> Maybe [Tok]Source

spc :: P Tok ()Source

pNL :: P Tok ()Source

uid :: P Tok String Source

lid :: P Tok String Source

infC :: P Tok String Source

pBr :: BK -> P Tok x -> P Tok xSource

pLay :: String -> P [Tok] x -> P Tok xSource

pTag :: Tag -> P Tok x -> P Tok xSource

munge :: ([Tok] -> Maybe [Tok]) -> [Tok] -> [Tok]Source

mungeLines :: ([[Tok]] -> Maybe [[Tok]]) -> ([Tok] -> Maybe [Tok]) -> [[Tok]] -> [[Tok]]Source

dashOut :: [Tok] -> [Tok]Source

dental :: [[Tok]] -> [Tok]Source

redent :: [Tok] -> [[Tok]] -> [[Tok]]Source

preamble :: [[Tok]] -> [[Tok]] -> [[Tok]]Source

isNL :: Char -> Bool Source

isHSpace :: Char -> Bool Source

isIddy :: Char -> Bool Source

isInfy :: Char -> Bool Source

data BK Source

Constructors

Rnd
Sqr
Crl

Instances

Eq BK
Show BK

ope :: BK -> String Source

clo :: BK -> String Source

keywords :: [String]Source

lakeys :: [String]Source

width :: [Tok] -> Int Source

type L = StateT (Position, String) Maybe Source

lFLine :: L (String, Int)Source

lCol :: L Int Source

cha :: L Char Source

stol :: L ()Source

chk :: (t -> Bool) -> L t -> L tSource

ch :: Char -> L Char Source

spa :: (Char -> Bool) -> L String Source

sym :: L String Source