Language.Clafer.Front.LayoutResolver

data LayEnv

type LastNl

type Position

data ExToken

data LEnv

getToken

layoutOpen

layoutClose

resolveLayout

resolve

indent

dedent

toToken

isExTokenIn

isNewLine

incrGlobal

tokenLookup

position

line

column

isTokenIn

isLayoutOpen

isBracketOpen

isLayoutClose

isBracketClose

tokenLength

addNewLines

addNewLines'

adjust

updToken

addToken

resLayout

resolveLayout'

handleIndent

emit

readC

eatSpaces

emitIndent

emitDedent

isEof

getc

revertLayout

revertLayout'