Package frege.tools.LexConvt

Compiled: Wed Dec 05 00:09:26 PST 2012 from source file: frege/tools/LexConvt.fr

Package Documentation

Copyright © 2011, Ingo Wechsung

All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

Perform source code transformations to conform to updated lexical syntax:

Table of Content

Imports

Instances

instance Show Stat

Member Functions

display :: Stat -> String

inherited from Show.display

show :: Stat -> String

Function generated for derived istance.

showList :: [Stat] -> String -> String

inherited from Show.showList

showsPrec :: Int -> Stat -> String -> String

inherited from Show.showsPrec

showsub :: Stat -> String

Function generated for derived istance.

Data Types

data Stat

Constructors

Block Stat

in Block comment, previous is carried

Esc Stat
InChar
InPat
InString
Normal
SkipLn

detected line comment

Slash1 Stat

saw Real./ in Stat.Normal or Stat.Block

Slash2

saw Real./ in 'Slash1 Normal'

StarA Stat

detected /* from Normal or Block

StarB Stat

in Block, detected *

Functions and Values

block :: Appendable α => Stat -> α β -> Char -> ST β Stat
brFromIS :: InputStream -> IO (Exception BufferedReader)
convert :: (Reader α, Appendable β) => α RealWorld -> β RealWorld -> IO Stat
deleteIfExists :: File -> IO Bool

return true if file doesn't exist or has been deleted

dispatch :: Appendable α => Stat -> α β -> Char -> ST β Stat
escaped :: (Appendable α, Show γ) => β -> α δ -> γ -> ST δ β
foo :: Regex
inchar :: Appendable α => α β -> Char -> ST β Stat
inpat :: Appendable α => α β -> Char -> ST β Stat
instring :: Appendable α => α β -> Char -> ST β Stat
main :: [String] -> IO ()
move :: File -> File -> IO Bool

move a to b and return true if successfull

normal :: Appendable α => α β -> Char -> ST β Stat
openSrc :: String -> IO (Exception BufferedReader)
process :: String -> IO Bool
skipln :: Appendable α => α β -> Char -> ST β Stat
slash1 :: Appendable α => Stat -> α β -> Char -> ST β Stat
slash2 :: Appendable α => α β -> Char -> ST β Stat
stara :: Appendable α => Stat -> α β -> Char -> ST β Stat
starb :: Appendable α => Stat -> α β -> Char -> ST β Stat
stdPrinter :: Mutable PrintStreamS RealWorld -> Mutable PrintWriterS RealWorld
stdoutPrinter :: Mutable PrintWriterS RealWorld

Functions and Values by Type

Mutable PrintStreamS RealWorld -> Mutable PrintWriterS RealWorld

stdPrinter

File -> File -> IO Bool

move

File -> IO Bool

deleteIfExists

InputStream -> IO (Exception BufferedReader)

brFromIS

String -> IO (Exception BufferedReader)

openSrc

String -> IO Bool

process

[String] -> IO ()

main

[Stat] -> String -> String

Show_Stat.showList

Int -> Stat -> String -> String

Show_Stat.showsPrec

Stat -> String

Show_Stat.show, Show_Stat.display, Show_Stat.showsub

Stat -> Stat

Stat.Esc, Stat.Block, Stat.StarA, Stat.Slash1, Stat.StarB

Mutable PrintWriterS RealWorld

stdoutPrinter

Regex

foo

Stat

Stat.Normal, Stat.InChar, Stat.InString, Stat.InPat, Stat.SkipLn, Stat.Slash2

Appendable α => α β -> Char -> ST β Stat

inchar, inpat, instring, normal, skipln, slash2

Appendable α => Stat -> α β -> Char -> ST β Stat

block, dispatch, slash1, stara, starb

(Reader α, Appendable β) => α RealWorld -> β RealWorld -> IO Stat

convert

(Appendable α, Show γ) => β -> α δ -> γ -> ST δ β

escaped

Valid HTML 4.01 Strict