Language.Clafer.Front.LayoutResolver

Resolves indentation into explicit nesting using { }

Documentation

data LayEnv

Constructors

LayEnv

Fields

• level :: Int
• levels :: [Int]
• input :: String
• output :: String
• brCtr :: Int

Instances

Show LayEnv

Methods

showsPrec :: Int -> LayEnv -> ShowS

show :: LayEnv -> String

showList :: [LayEnv] -> ShowS

type LastNl = (Int, Int)

ident level of new line, current level or parenthesis

type Position = Posn

data ExToken

Constructors

NewLine LastNl

ExToken Token

Instances

Show ExToken

Methods

showsPrec :: Int -> ExToken -> ShowS

show :: ExToken -> String

showList :: [ExToken] -> ShowS

data LEnv

ident level stack, last new line

Constructors

LEnv [Int] (Maybe LastNl)

getToken :: Monad m => ExToken -> ClaferT m Token

layoutOpen :: String

layoutClose :: String

resolveLayout :: Monad m => [Token] -> ClaferT m [Token]

resolve :: Monad m => LEnv -> [ExToken] -> ClaferT m [Token]

indent :: Token

dedent :: Token

toToken :: ExToken -> [Token]

isExTokenIn :: [String] -> ExToken -> Bool

isNewLine :: Token -> Token -> Bool

incrGlobal

Arguments

:: Monad m

=> Position

If the token is on the same line as this position, update the column position.

-> Int

Number of characters to add to the position.

-> Token

-> ClaferT m Token

Add to the global and column positions of a token. | The column position is only changed if the token is on | the same line as the given position.

tokenLookup :: String -> Maybe Int

position :: Token -> Position

Get the position of a token.

line :: Token -> Int

Get the line number of a token.

column :: Token -> Int

Get the column number of a token.

isTokenIn :: [String] -> Token -> Bool

Check if a token is one of the given symbols.

isLayoutOpen :: Token -> Bool

Check if a token is the layout open token.

isBracketOpen :: Token -> Bool

isLayoutClose :: Token -> Bool

Check if a token is the layout close token.

isBracketClose :: Token -> Bool

tokenLength :: Token -> Int

Get the number of characters in the token.

addNewLines :: Monad m => [Token] -> ClaferT m [ExToken]

addNewLines' :: Monad m => Int -> [Token] -> ClaferT m [ExToken]

adjust :: Monad m => [Token] -> ClaferT m [Token]

updToken :: Monad m => [Token] -> ClaferT m [Token]

addToken

Arguments

:: Monad m

=> Position

Position of the new token.

-> String

Symbol in the new token.

-> [Token]

The rest of the tokens. These will have their positions updated to make room for the new token.

-> ClaferT m [Token]

Insert a new symbol token at the begninning of a list of tokens.

resLayout :: String -> String

resolveLayout' :: StateT LayEnv Identity ()

handleIndent :: Char -> StateT LayEnv Identity Char

emit :: MonadState LayEnv m => Char -> m ()

readC :: (Num a, Ord a) => a -> StateT LayEnv Identity Char

eatSpaces :: StateT LayEnv Identity Int

emitIndent :: MonadState LayEnv m => Int -> m ()

emitDedent :: MonadState LayEnv m => Int -> m ()

isEof :: StateT LayEnv Identity Bool

getc :: StateT LayEnv Identity Char

revertLayout :: String -> String

revertLayout' :: [String] -> Int -> [String]