Yhc Source code Contents Index

PosCode

Synopsis

module Prim type PosCode = [PosBinding] type PosBinding = (Id, PosLambda) data LambdaFlags = LamFLNone | LamFLIntro | LamFLLambda data PosLambda = PosLambda Pos LambdaFlags [(Pos, Id)] [(Pos, Id)] PosExp | PosPrimitive Pos Id | PosForeign Pos Id Int String CallConv ImpExp posExpApp :: Pos -> [PosExp] -> PosExp posExpLet :: Pos -> [PosBinding] -> PosExp -> PosExp data PosExp = PosExpDict PosExp | PosExpLet Bool Pos [PosBinding] PosExp | PosExpCase Pos PosExp [PosAlt] | PosExpApp Pos [PosExp] | PosExpThunk Pos Bool [PosExp] | PosExpFatBar Bool PosExp PosExp | PosExpFail | PosExpIf Pos Bool PosExp PosExp PosExp | PosVar Pos Id | PosCon Pos Id | PosInt Pos Int | PosChar Pos Int | PosFloat Pos Float | PosDouble Pos Double | PosInteger Pos Integer | PosString Pos String | PosPrim Pos Prim Id | PosExpLambda Pos Bool [(Pos, Id)] [(Pos, Id)] PosExp data PosAlt = PosAltCon Pos Id [(Pos, Id)] PosExp | PosAltInt Pos Int Bool PosExp isPosAtom :: PosExp -> Bool class PlayPosExp a where mapPosExp :: (PosExp -> PosExp) -> a -> a mapPosExp_Binding :: PlayPosExp b => (PosExp -> PosExp) -> (a, b) -> (a, b) data Pos

Documentation

module Prim

type PosCode = [PosBinding]

type PosBinding = (Id, PosLambda)

data LambdaFlags

Constructors LamFLNone LamFLIntro LamFLLambda Instances Eq LambdaFlags Show LambdaFlags

data PosLambda

Constructors PosLambda Pos LambdaFlags [(Pos, Id)] [(Pos, Id)] PosExp PosPrimitive Pos Id PosForeign Pos Id Int String CallConv ImpExp Instances PlayPosExp PosLambda

posExpApp :: Pos -> [PosExp] -> PosExp

posExpLet :: Pos -> [PosBinding] -> PosExp -> PosExp

data PosExp

Constructors PosExpDict PosExp Hack to mark dictionaries PosExpLet Bool Pos [PosBinding] PosExp True for recursive lets, false otherwise PosExpCase Pos PosExp [PosAlt] PosExpApp Pos [PosExp] PosExpThunk Pos Bool [PosExp] True if this is really 'apply' PosExpFatBar Bool PosExp PosExp True if fail can escape fatbar PosExpFail PosExpIf Pos Bool PosExp PosExp PosExp True if this is really a guard PosVar Pos Id PosCon Pos Id PosInt Pos Int PosChar Pos Int PosFloat Pos Float PosDouble Pos Double PosInteger Pos Integer PosString Pos String PosPrim Pos Prim Id PosExpLambda Pos Bool [(Pos, Id)] [(Pos, Id)] PosExp Only temporary !! Instances HasPos PosExp PlayPosExp PosExp

data PosAlt

Constructors PosAltCon Pos Id [(Pos, Id)] PosExp Constructor numbers, new variables, expression PosAltInt Pos Int Bool PosExp Is the Int an Integer{True} or a Char{False} Instances PlayPosExp PosAlt

isPosAtom :: PosExp -> Bool

class PlayPosExp a where

Methods mapPosExp :: (PosExp -> PosExp) -> a -> a Instances PlayPosExp PosAlt PlayPosExp PosExp PlayPosExp PosLambda PlayPosExp a => PlayPosExp [a]

mapPosExp_Binding :: PlayPosExp b => (PosExp -> PosExp) -> (a, b) -> (a, b)

data Pos

abstract type for storing the position of a syntactic construct in a file, that is, line and column number of both start and end positions. Instances Eq Pos Ord Pos Show Pos

Produced by Haddock version 0.8