Credit to devdocs.io
Back
Forward
Menu
Home
Clear search
haskell
API Mirror
haskell
273
Compiler
<*>
addBlock (NonLocal)
addBlocks (HooplNode)
addEntrySeq (NonLocal)
addExitSeq (NonLocal)
addPoints (String)
addPoints' (forall)
addTop (DataflowLattice)
addTop' (forall)
AGraph
aGraphOfGraph (Graph)
analyzeAndRewriteBwd
analyzeAndRewriteBwdBody (forall)
analyzeAndRewriteBwdOx (forall)
analyzeAndRewriteFwd (forall)
analyzeAndRewriteFwdBody (forall)
analyzeAndRewriteFwdOx (forall)
backBiasBlock (Block)
Block
blockAppend (Block)
blockCons (n)
blockFromList
blockGraph (NonLocal)
blockJoin (n)
blockJoinAny
blockJoinHead (n)
blockJoinTail (Block)
blockSnoc (Block)
blockSplit (Block)
blockSplitAny (Block)
blockSplitHead (Block)
blockSplitTail (Block)
blockToList (Block)
Body
Body'
bodyGraph (Body)
bodyList (NonLocal)
bodyUnion (forall)
BwdPass
BwdRewrite
BwdRewrite getBRewrite3
BwdTransfer
BwdTransfer getBTransfer3
C
catGraphNodeOC (NonLocal)
catGraphNodeOO (Graph)
catGraphs
catNodeCOGraph (NonLocal)
catNodeOOGraph (n)
ChangeFlag=
changeIf (Bool)
CheckingFuelMonad
Compiler.Hoopl
Compiler.Hoopl.Passes.DList
Compiler.Hoopl.Passes.Dominator
DataflowLattice
debugBwdJoins (forall)
debugBwdTransfers (forall)
debugFwdJoins (forall)
debugFwdTransfers (forall)
deepBwdRw (FuelMonad)
deepBwdRw3 (FuelMonad)
deepFwdRw (FuelMonad)
deepFwdRw3 (FuelMonad)
distributeFact (NonLocal)
distributeFactBwd (NonLocal)
distributeXfer (NonLocal)
domEntry (Doms)
domEntry (Doms)
DominatorNode=
DominatorTree
domLattice (DataflowLattice)
domLattice (DataflowLattice)
domPass
domPass
domPath (Doms)
Doms
Doms
DPath
emptyBlock (Block)
emptyBody (Body)
emptyClosedGraph (GraphRep)
emptyGraph (GraphRep)
endNodes (Block)
extendDom (Label)
extendJoinDomain (forall)
externalEntryLabels (forall)
FactBase
family
family
firstNode (Block)
firstXfer (NonLocal)
foldBlockNodesB (forall)
foldBlockNodesB3 (forall)
foldBlockNodesF (forall)
foldBlockNodesF3 (forall)
foldGraphNodes (forall)
freshLabel (UniqueMonad)
frontBiasBlock (Block)
Fuel
FuelMonadT
FuelMonadT liftFuel
FuelMonadT runWithFuel
fuelRemaining (FuelMonad)
FwdPass
FwdRewrite
FwdRewrite getFRewrite3
FwdTransfer
FwdTransfer getFTransfer3
Graph
Graph'
graphOfAGraph (AGraph)
gSplice (NonLocal)
gUnitCC (NonLocal)
gUnitCO (block)
gUnitOC (block)
gUnitOO (block)
IfThenElseable
IfThenElseable mkIfThenElse
immediateDominators (FactBase)
infiniteFuel (Fuel)
InfiniteFuelMonad
intToUnique (Int)
isEmptyBlock (Block)
IsMap
IsMap mapDelete
IsMap mapDifference
IsMap mapElems
IsMap mapEmpty
IsMap mapFilter
IsMap mapFindWithDefault
IsMap mapFold
IsMap mapFoldWithKey
IsMap mapFromList
IsMap mapFromListWith
IsMap mapInsert
IsMap mapInsertWith
IsMap mapIntersection
IsMap mapIsSubmapOf
IsMap mapKeys
IsMap mapLookup
IsMap mapMap
IsMap mapMapWithKey
IsMap mapMember
IsMap mapNull
IsMap mapSingleton
IsMap mapSize
IsMap mapToList
IsMap mapUnion
IsMap mapUnionWithKey
IsMap type
IsSet
IsSet setDelete
IsSet setDifference
IsSet setElems
IsSet setEmpty
IsSet setFold
IsSet setFromList
IsSet setInsert
IsSet setIntersection
IsSet setIsSubsetOf
IsSet setMember
IsSet setNull
IsSet setSingleton
IsSet setSize
IsSet setUnion
IsSet type
iterBwdRw (forall)
iterFwdRw (forall)
joinFacts (DataflowLattice)
JoinFun
joinMaps (Ord)
joinOutFacts (NonLocal)
Label
LabelMap
labelsDefined (forall)
LabelSet
LabelsPtr
LabelsPtr targetLabels
labelsUsed (forall)
lastNode (Block)
lblToUnique (Label)
liftJoinTop (JoinFun)
lookupFact (Label)
mapBlock
mapBlock'
mapBlock3' (forall)
mapDeleteList (IsMap)
mapGraph
mapGraphBlocks (forall)
mapInsertList (IsMap)
mapUnions (IsMap)
MaybeC
MaybeO
mkBranch
mkBRewrite (FuelMonad)
mkBRewrite3 (forall)
mkBTransfer
mkBTransfer3
mkEntry (GraphRep)
mkExit (GraphRep)
mkFactBase (forall)
mkFirst (GraphRep)
mkFRewrite (FuelMonad)
mkFRewrite3 (forall)
mkFTransfer
mkFTransfer3
mkLabel
mkLast (GraphRep)
mkMiddle (GraphRep)
mkMiddles
mkWhileDo (HooplNode)
Monad checkpoint
Monad freshUnique
Monad getFuel
Monad restart
Monad setFuel
Monad type
NewFact
noBwdRewrite (Monad)
noFacts (FactBase)
noFwdRewrite (Monad)
NonLocal
NonLocal entryLabel
NonLocal mkBranchNode
NonLocal mkLabelNode
NonLocal successors
O
OldFact
pairBwd (forall)
pairFwd (forall)
pairLattice (forall)
Pointed
postorder_dfs (NonLocal)
postorder_dfs_from
postorder_dfs_from_except (forall)
preorder_dfs (NonLocal)
preorder_dfs_from_except (forall)
replaceFirstNode (Block)
replaceLastNode (Block)
runSimpleUniqueMonad (SimpleUniqueMonad)
runUniqueMonadT (Monad)
setDeleteList (IsSet)
setInsertList (IsSet)
setUnions (IsSet)
Shape
showFactBase (Show)
showGraph (forall)
SimpleFuelMonad
SimpleUniqueMonad
splice (forall)
successorFacts (NonLocal)
thenBwdRw (forall)
thenFwdRw (forall)
TraceFn
tree
unionBlocks (NonLocal)
Unique
UniqueMap
UniqueMonadT
UniqueSet
uniqueToInt (Unique)
uniqueToLbl (Unique)
WithBot
withFresh (Uniques)
withFuel (FuelMonad)
WithTop
WithTopAndBot
wrapBR
wrapBR2
wrapFR
wrapFR2
|*><*|
188
Control
$!! (NFData)
<$ (Functor)
<$> (Functor)
<**> (Applicative)
<<< (Category)
<<< (Category)
<<^ (Arrow)
>>> (Category)
>>> (Category)
>>^ (Arrow)
addMVarFinalizer (MVar)
AllocationLimitExceeded
allowInterrupt (IO)
Applicative (<|>)
Applicative empty
Applicative many
Applicative some
ArithException=
ArrayException=
Arrow (+++)
Arrow (|||)
Arrow app
Arrow left
Arrow loop
Arrow right
Arrow zeroArrow
ArrowMonad
ArrowZero (<+>)
assert (Bool)
AssertionFailed
AsyncException=
asyncExceptionFromException (Exception)
asyncExceptionToException (Exception)
Backwards
Backwards forwards
BlockedIndefinitelyOnMVar
BlockedIndefinitelyOnSTM
bracket (IO)
bracketOnError (IO)
bracket_ (IO)
catch (Exception)
catches (IO)
catchJust (Exception)
Category
Category (&&&)
Category (***)
Category (.)
Category arr
Category first
Category id
Category second
Chan
Const
Const getConst
Control.Applicative
Control.Applicative.Backwards
Control.Applicative.Lift
Control.Arrow
Control.Category
Control.Concurrent
Control.Concurrent.Chan
Control.Concurrent.MVar
Control.Concurrent.QSem
Control.Concurrent.QSemN
Control.DeepSeq
Control.Exception
Deadlock
deepseq (NFData)
dupChan (Chan)
ErrorCall
Errors
evaluate (a)
failure (Monoid)
finally (IO)
force (NFData)
forkFinally (IO)
forkIO (IO)
forkIOWithUnmask
forkOn (Int)
forkOnWithUnmask (Int)
forkOS (IO)
Functor (*>)
Functor (<*)
Functor (<*>)
Functor pure
getChanContents (Chan)
getMaskingState (IO)
getNumCapabilities (IO)
handle (Exception)
handleJust (Exception)
Handler
ioError (IOError)
IOException
isCurrentThreadBound (IO)
isEmptyChan (Chan)
isEmptyMVar (MVar)
killThread (ThreadId)
Kleisli
Kleisli runKleisli
leftApp (ArrowApply)
Lift
liftA (Applicative)
liftA2 (Applicative)
liftA3 (Applicative)
mapException
mapLift
mask
MaskingState=
mask_ (IO)
mkWeakMVar (MVar)
mkWeakThreadId (ThreadId)
modifyMVar (MVar)
modifyMVarMasked (MVar)
modifyMVarMasked_ (MVar)
modifyMVar_ (MVar)
MVar
myThreadId (IO)
NestedAtomically
newChan (IO)
newEmptyMVar (IO)
newMVar (a)
newQSem (Int)
newQSemN (Int)
NFData
NFData rnf
NoMethodError
NonTermination
onException (IO)
optional (Alternative)
PatternMatchFail
putMVar (MVar)
QSem
QSemN
readChan (Chan)
readMVar (MVar)
RecConError
RecSelError
RecUpdError
returnA (Arrow)
rtsSupportsBoundThreads (Bool)
runErrors (Errors)
runInBoundThread (IO)
runInUnboundThread (IO)
setNumCapabilities (Int)
signalQSem (QSem)
signalQSemN (QSemN)
SomeAsyncException
SomeException
swapMVar (MVar)
takeMVar (MVar)
threadCapability (ThreadId)
threadDelay (Int)
ThreadId
threadWaitRead (Fd)
threadWaitReadSTM (Fd)
threadWaitWrite (Fd)
threadWaitWriteSTM (Fd)
throw (Exception)
throwIO (Exception)
throwTo (Exception)
throwTo (Exception)
try (Exception)
tryJust (Exception)
tryPutMVar (MVar)
tryReadMVar (MVar)
tryTakeMVar (MVar)
Typeable displayException
Typeable fromException
Typeable toException
unGetChan (Chan)
uninterruptibleMask
uninterruptibleMask_ (IO)
unLift (Applicative)
waitQSem (QSem)
waitQSemN (QSemN)
withMVar (MVar)
withMVarMasked (MVar)
WrappedArrow
WrappedArrow unwrapArrow
WrappedMonad
WrappedMonad unwrapMonad
writeChan (Chan)
writeList2Chan (Chan)
yield (IO)
ZipList
ZipList getZipList
^<< (Arrow)
^>> (Arrow)
261
Control.Monad
<$!> (Monad)
<=< (Monad)
=<< (Monad)
>=> (Monad)
Alternative mplus
Alternative mzero
ap (Monad)
Applicative (>>)
Applicative (>>)
Applicative (>>=)
Applicative (>>=)
Applicative fail
Applicative fail
Applicative return
Applicative return
ask
ask (Monad)
asks
asks (Monad)