Grm.Prims

Documentation

data Terminator

Constructors

Terminator

Separator

Instances

Eq Terminator

Show Terminator

data Horiz

Constructors

Vert

Horiz

Instances

Eq Horiz

Show Horiz

data Empty

Constructors

Empty

NonEmpty

Instances

Eq Empty

Show Empty

data Point

Constructors

Point

Fields

beginLoc :: Loc

endLoc :: Loc

Instances

Eq Point

Data Point

Ord Point

Show Point

Typeable Point

data Loc

Constructors

Loc

Fields

locFilePath :: FilePath

locLine :: Int

locColumn :: Int

Instances

Eq Loc

Data Loc

Ord Loc

Show Loc

Typeable Loc

class HasMeta t where

Methods

meta :: t a -> a

Instances

HasMeta Token

ppString :: String -> Doc

ppInteger :: Integer -> Doc

type Number = String

ppNumber :: Number -> Doc

readNumber :: (Num a, Read a) => Number -> a

readBinary :: String -> Integer

ppChar :: Char -> Doc

isFloat :: String -> Bool

isBinary :: String -> Bool

isOctal :: String -> Bool

ppDouble :: Double -> Doc

ppList :: (a -> Doc) -> Terminator -> String -> Horiz -> [a] -> Doc

nubSort :: Ord a => [a] -> [a]

ppLident :: String -> Doc

ppMlcode :: String -> Doc

ppUident :: String -> Doc

ppUsym :: String -> Doc

singleton :: a -> [a]

ppErr :: Loc -> String -> String

ppLoc :: Loc -> String

startLoc :: HasMeta m => m Point -> Loc

stopLoc :: HasMeta m => m Point -> Loc

noLoc :: Loc

noPoint :: Point

initLoc :: FilePath -> Loc

point :: HasMeta m => m Point -> Point

lrPoint :: [Point] -> Point

lrPointList :: HasMeta m => [m Point] -> Point

type Uident = String

type Lident = String

type Mlcode = String

type Usym = String

ppShow :: Pretty a => a -> String

unreachable :: a

unused :: a

panic :: String -> a

lowercase :: String -> String

freshNm :: IO String

commaSep :: [String] -> String

mySystem :: String -> IO ()

bitsToEncode :: Integer -> Integer

uId :: a -> String -> String

writeFileBinary :: FilePath -> String -> IO ()

findFile :: [FilePath] -> FilePath -> IO (Maybe FilePath)

module Debug.Trace