ajhc-0.8.0.6: Haskell compiler that produce binary through C language

Safe HaskellNone

E.Annotate

Documentation

annotateCombsSource

Arguments

:: forall m . Monad m 
=> IdMap (Maybe E) 
-> (Id -> Info -> m Info)

annotate based on Id map

-> (E -> Info -> m Info)

annotate letbound bindings

-> (E -> Info -> m Info)

annotate lambdabound bindings

-> [Comb]

terms to annotate

-> m [Comb] 

annotateDsSource

Arguments

:: Monad m 
=> IdMap (Maybe E) 
-> (Id -> Info -> m Info)

annotate based on Id map

-> (E -> Info -> m Info)

annotate letbound bindings

-> (E -> Info -> m Info)

annotate lambdabound bindings

-> [(TVr, E)]

terms to annotate

-> m [(TVr, E)] 

annotateProgramSource

Arguments

:: Monad m 
=> IdMap (Maybe E) 
-> (Id -> Info -> m Info)

annotate based on Id map

-> (E -> Info -> m Info)

annotate letbound bindings

-> (E -> Info -> m Info)

annotate lambdabound bindings

-> Program

terms to annotate

-> m Program 

type AM m = ReaderT (IdMap (Maybe E)) mSource

annotateSource

Arguments

:: Monad m 
=> IdMap (Maybe E) 
-> (Id -> Info -> m Info)

annotate based on Id map

-> (E -> Info -> m Info)

annotate letbound bindings

-> (E -> Info -> m Info)

annotate lambdabound bindings

-> E

term to annotate

-> m E 

mnv :: (HasSize a, SetLike a, ~ * (Key a) Id) => [Key a] -> Id -> a -> IdSource