Safe Haskell	Safe-Inferred
Language	Haskell2010

Cfg

Synopsis

data Node = Node {
- theInstructionInside :: Instruction
}
data Nodes = Nodes {
- actualNodes :: Set Node
}
data Edge = Edge {
- from :: Node
- to :: Node
}
data Edges = Edges {
- actualEdges :: Set Edge
}
mkEmptyCollectionOfEdges :: Edges
data Cfg = Cfg {
- entry :: Node
- exit :: Node
- edges :: Edges
}
location :: Cfg -> Location
nodes :: Cfg -> Nodes
preds :: Node -> Cfg -> Nodes
empty :: Location -> Cfg
atom :: Node -> Cfg
concat :: Cfg -> Cfg -> Cfg
parallel :: Cfg -> Cfg -> Cfg
loopify :: Cfg -> Cfg -> Variable -> Cfg

Documentation

data Node Source #

Constructors

Node
Fields theInstructionInside :: Instruction

Instances

Instances details

FromJSON Node Source #
Instance details Defined in Cfg Methods parseJSON :: Value -> Parser Node # parseJSONList :: Value -> Parser [Node] # omittedField :: Maybe Node #
ToJSON Node Source #
Instance details Defined in Cfg Methods toJSON :: Node -> Value # toEncoding :: Node -> Encoding # toJSONList :: [Node] -> Value # toEncodingList :: [Node] -> Encoding # omitField :: Node -> Bool #
Generic Node Source #
Instance details Defined in Cfg Associated Types type Rep Node :: Type -> Type Methods from :: Node -> Rep Node x to :: Rep Node x -> Node
Show Node Source #
Instance details Defined in Cfg Methods showsPrec :: Int -> Node -> ShowS show :: Node -> String showList :: [Node] -> ShowS
Eq Node Source #
Instance details Defined in Cfg Methods (==) :: Node -> Node -> Bool (/=) :: Node -> Node -> Bool
Ord Node Source #
Instance details Defined in Cfg Methods compare :: Node -> Node -> Ordering (<) :: Node -> Node -> Bool (<=) :: Node -> Node -> Bool (>) :: Node -> Node -> Bool (>=) :: Node -> Node -> Bool max :: Node -> Node -> Node min :: Node -> Node -> Node
type Rep Node Source #
Instance details Defined in Cfg type Rep Node = D1 ('MetaData "Node" "Cfg" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (S1 ('MetaSel ('Just "theInstructionInside") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Instruction)))

data Nodes Source #

Constructors

Nodes
Fields actualNodes :: Set Node

Instances

Instances details

Show Nodes Source #
Instance details Defined in Cfg Methods showsPrec :: Int -> Nodes -> ShowS show :: Nodes -> String showList :: [Nodes] -> ShowS
Eq Nodes Source #
Instance details Defined in Cfg Methods (==) :: Nodes -> Nodes -> Bool (/=) :: Nodes -> Nodes -> Bool
Ord Nodes Source #
Instance details Defined in Cfg Methods compare :: Nodes -> Nodes -> Ordering (<) :: Nodes -> Nodes -> Bool (<=) :: Nodes -> Nodes -> Bool (>) :: Nodes -> Nodes -> Bool (>=) :: Nodes -> Nodes -> Bool max :: Nodes -> Nodes -> Nodes min :: Nodes -> Nodes -> Nodes

data Edge Source #

Constructors

Edge
Fields from :: Node to :: Node

Instances

Instances details

FromJSON Edge Source #
Instance details Defined in Cfg Methods parseJSON :: Value -> Parser Edge # parseJSONList :: Value -> Parser [Edge] # omittedField :: Maybe Edge #
ToJSON Edge Source #
Instance details Defined in Cfg Methods toJSON :: Edge -> Value # toEncoding :: Edge -> Encoding # toJSONList :: [Edge] -> Value # toEncodingList :: [Edge] -> Encoding # omitField :: Edge -> Bool #
Generic Edge Source #
Instance details Defined in Cfg Associated Types type Rep Edge :: Type -> Type Methods from :: Edge -> Rep Edge x to :: Rep Edge x -> Edge
Show Edge Source #
Instance details Defined in Cfg Methods showsPrec :: Int -> Edge -> ShowS show :: Edge -> String showList :: [Edge] -> ShowS
Eq Edge Source #
Instance details Defined in Cfg Methods (==) :: Edge -> Edge -> Bool (/=) :: Edge -> Edge -> Bool
Ord Edge Source #
Instance details Defined in Cfg Methods compare :: Edge -> Edge -> Ordering (<) :: Edge -> Edge -> Bool (<=) :: Edge -> Edge -> Bool (>) :: Edge -> Edge -> Bool (>=) :: Edge -> Edge -> Bool max :: Edge -> Edge -> Edge min :: Edge -> Edge -> Edge
type Rep Edge Source #
Instance details Defined in Cfg type Rep Edge = D1 ('MetaData "Edge" "Cfg" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "Edge" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))

data Edges Source #

Constructors

Edges
Fields actualEdges :: Set Edge

Instances

Instances details

FromJSON Edges Source #
Instance details Defined in Cfg Methods parseJSON :: Value -> Parser Edges # parseJSONList :: Value -> Parser [Edges] # omittedField :: Maybe Edges #
ToJSON Edges Source #
Instance details Defined in Cfg Methods toJSON :: Edges -> Value # toEncoding :: Edges -> Encoding # toJSONList :: [Edges] -> Value # toEncodingList :: [Edges] -> Encoding # omitField :: Edges -> Bool #
Generic Edges Source #
Instance details Defined in Cfg Associated Types type Rep Edges :: Type -> Type Methods from :: Edges -> Rep Edges x to :: Rep Edges x -> Edges
Show Edges Source #
Instance details Defined in Cfg Methods showsPrec :: Int -> Edges -> ShowS show :: Edges -> String showList :: [Edges] -> ShowS
Eq Edges Source #
Instance details Defined in Cfg Methods (==) :: Edges -> Edges -> Bool (/=) :: Edges -> Edges -> Bool
Ord Edges Source #
Instance details Defined in Cfg Methods compare :: Edges -> Edges -> Ordering (<) :: Edges -> Edges -> Bool (<=) :: Edges -> Edges -> Bool (>) :: Edges -> Edges -> Bool (>=) :: Edges -> Edges -> Bool max :: Edges -> Edges -> Edges min :: Edges -> Edges -> Edges
type Rep Edges Source #
Instance details Defined in Cfg type Rep Edges = D1 ('MetaData "Edges" "Cfg" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "Edges" 'PrefixI 'True) (S1 ('MetaSel ('Just "actualEdges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Edge))))

mkEmptyCollectionOfEdges :: Edges Source #

data Cfg Source #

Constructors

Cfg
Fields entry :: Node exit :: Node edges :: Edges

Instances

Instances details

FromJSON Cfg Source #
Instance details Defined in Cfg Methods parseJSON :: Value -> Parser Cfg # parseJSONList :: Value -> Parser [Cfg] # omittedField :: Maybe Cfg #
ToJSON Cfg Source #
Instance details Defined in Cfg Methods toJSON :: Cfg -> Value # toEncoding :: Cfg -> Encoding # toJSONList :: [Cfg] -> Value # toEncodingList :: [Cfg] -> Encoding # omitField :: Cfg -> Bool #
Generic Cfg Source #
Instance details Defined in Cfg Associated Types type Rep Cfg :: Type -> Type Methods from :: Cfg -> Rep Cfg x to :: Rep Cfg x -> Cfg
Show Cfg Source #
Instance details Defined in Cfg Methods showsPrec :: Int -> Cfg -> ShowS show :: Cfg -> String showList :: [Cfg] -> ShowS
Eq Cfg Source #
Instance details Defined in Cfg Methods (==) :: Cfg -> Cfg -> Bool (/=) :: Cfg -> Cfg -> Bool
Ord Cfg Source #
Instance details Defined in Cfg Methods compare :: Cfg -> Cfg -> Ordering (<) :: Cfg -> Cfg -> Bool (<=) :: Cfg -> Cfg -> Bool (>) :: Cfg -> Cfg -> Bool (>=) :: Cfg -> Cfg -> Bool max :: Cfg -> Cfg -> Cfg min :: Cfg -> Cfg -> Cfg
type Rep Cfg Source #
Instance details Defined in Cfg type Rep Cfg = D1 ('MetaData "Cfg" "Cfg" "dhscanner-bitcode-0.1.0.1-inplace" 'False) (C1 ('MetaCons "Cfg" 'PrefixI 'True) (S1 ('MetaSel ('Just "entry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :: (S1 ('MetaSel ('Just "exit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :: S1 ('MetaSel ('Just "edges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Edges))))

location :: Cfg -> Location Source #

nodes :: Cfg -> Nodes Source #

preds :: Node -> Cfg -> Nodes Source #

empty :: Location -> Cfg Source #

atom :: Node -> Cfg Source #

concat :: Cfg -> Cfg -> Cfg Source #

parallel :: Cfg -> Cfg -> Cfg Source #

loopify :: Cfg -> Cfg -> Variable -> Cfg Source #

create a loop from condition and body