Moduleghc-9.10.3GHC2021

GHC.Cmm.Dataflow.Block

5 types
24 values

Packageghc-9.10.3
Exports30
LanguageGHC2021
LicenceBSD-3-Clause
SourceBlock.hs

datadata Extensibility

Used at the type level to indicate "open" vs "closed" structure.

Constructors

Open
An "open" structure with a unique, unnamed control-flow edge flowing in or out. "Fallthrough" and concatenation are permitted at an open point.
Closed
A "closed" structure which supports control transfer only through the use of named labels---no "fallthrough" is permitted. The number of control-flow edges is unconstrained.

typetype O = 'Open

typetype C = 'Closed

datadata MaybeO (ex :: Extensibility) t where

Maybe type indexed by open/closed

Constructors

JustO :: t -> MaybeO 'Open t
NothingO :: MaybeO 'Closed t

Instances1Functor

Functor (MaybeO ex)Defined in ghc-9.10.3 · GHC.Cmm.Dataflow.Block

familytype family IndexedCO (ex :: Extensibility) (a :: k) (b :: k) :: k

Either type indexed by closed/open using type families

Instances2IndexedCO

type IndexedCO C a _b = aDefined in ghc-9.10.3 · GHC.Cmm.Dataflow.Block
type IndexedCO O _a b = bDefined in ghc-9.10.3 · GHC.Cmm.Dataflow.Block

datadata Block (n :: Extensibility -> Extensibility -> Type) (e :: Extensibility) (x :: Extensibility) where

A sequence of nodes. May be any of four shapes (OO, OC, CO, CC). Open at the entry means single entry, mutatis mutandis for exit. A closedclosed block is a basic/ block and can't be extended further. Clients should avoid manipulating blocks and should stick to either nodes or graphs.

Constructors

BlockCO :: n C O -> Block n O O -> Block n 'Closed 'Open
BlockCC :: n C O -> Block n O O -> n O C -> Block n 'Closed 'Closed
BlockOC :: Block n O O -> n O C -> Block n 'Open 'Closed
BNil :: Block n 'Open 'Open
BMiddle :: n O O -> Block n 'Open 'Open
BCat :: Block n O O -> Block n O O -> Block n 'Open 'Open
BSnoc :: Block n O O -> n O O -> Block n 'Open 'Open
BCons :: n O O -> Block n O O -> Block n 'Open 'Open

Instances6OutputableP, NonLocal

OutputableP Platform (Block CmmNode C C)Defined in ghc-9.10.3 · GHC.Cmm.Node
OutputableP Platform (Block CmmNode C O)Defined in ghc-9.10.3 · GHC.Cmm.Node
OutputableP Platform (Block CmmNode O C)Defined in ghc-9.10.3 · GHC.Cmm.Node
OutputableP Platform (Block CmmNode O O)Defined in ghc-9.10.3 · GHC.Cmm.Node
OutputableP Platform (Graph CmmNode e x)Defined in ghc-9.10.3 · GHC.Cmm.Node
NonLocal n => NonLocal (Block n)Defined in ghc-9.10.3 · GHC.Cmm.Dataflow.Graph

valueblockAppend :: Block n e O -> Block n O x -> Block n e x

valueblockConcat :: [Block n O O] -> Block n O O

valueblockCons :: n O O -> Block n O x -> Block n O x

valueblockFromList :: [n O O] -> Block n O O

valueblockJoin :: n C O -> Block n O O -> n O C -> Block n C C

valueblockJoinHead :: n C O -> Block n O x -> Block n C x

valueblockJoinTail :: Block n e O -> n O C -> Block n e C

valueblockSnoc :: Block n e O -> n O O -> Block n e O

valueblockSplit :: Block n C C -> (n C O, Block n O O, n O C)

Split a closed block into its entry node, open middle block, and exit node.

valueblockSplitHead :: Block n C x -> (n C O, Block n O x)

valueblockSplitTail :: Block n e C -> (Block n e O, n O C)

valueblockToList :: Block n O O -> [n O O]

valueemptyBlock :: Block n O O

valuefirstNode :: Block n C x -> n C O

valuefoldBlockNodesB

:: forall (e :: Extensibility) (x :: Extensibility). n e x -> a -> a
-> forall (e :: Extensibility) (x :: Extensibility). Block n e x -> IndexedCO x a a -> IndexedCO e a a

valuefoldBlockNodesB3

:: (n C O -> b -> c, n O O -> b -> b, n O C -> a -> b)
-> forall (e :: Extensibility) (x :: Extensibility). Block n e x -> IndexedCO x a b -> IndexedCO e c b

valuefoldBlockNodesF

:: forall (e :: Extensibility) (x :: Extensibility). n e x -> a -> a
-> forall (e :: Extensibility) (x :: Extensibility). Block n e x -> IndexedCO e a a -> IndexedCO x a a

valueisEmptyBlock :: Block n e x -> Bool

valuelastNode :: Block n x C -> n O C

valuemapBlock

:: forall (e1 :: Extensibility) (x1 :: Extensibility). n e1 x1 -> n' e1 x1
-> Block n e x
-> Block n' e x

map a function over the nodes of a Block

valuemapBlock'

:: forall (e1 :: Extensibility) (x1 :: Extensibility). n e1 x1 -> n' e1 x1
-> Block n e x
-> Block n' e x

A strict mapBlock

valuemapBlock3'

:: (n C O -> n' C O, n O O -> n' O O, n O C -> n' O C)
-> Block n e x
-> Block n' e x

map over a block, with different functions to apply to first nodes, middle nodes and last nodes respectively. The map is strict.

valuereplaceFirstNode :: Block n C x -> n C O -> Block n C x

valuereplaceLastNode :: Block n x C -> n O C -> Block n x C