Copyright	(c) 2020 Yann Herklotz
License	GPL-3
Maintainer	yann [at] yannherklotz [dot] com
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Verismith.Verilog.Distance

Description

Define the distance function for the abstract syntax tree, so that different Verilog files can be compared. This allows us to define a metric on how different two pieces of Verilog are. Currently, differences in expressions are ignored, as these are not that interesting.

Documentation

data Pair a b Source #

Constructors

Pair a b

Instances

Instances details

(Show a, Show b) => Show (Pair a b) Source #
Instance details Defined in Verismith.Verilog.Distance Methods showsPrec :: Int -> Pair a b -> ShowS # show :: Pair a b -> String # showList :: [Pair a b] -> ShowS #
Eq b => Eq (Pair a b) Source #
Instance details Defined in Verismith.Verilog.Distance Methods (==) :: Pair a b -> Pair a b -> Bool # (/=) :: Pair a b -> Pair a b -> Bool #
Ord b => Ord (Pair a b) Source #
Instance details Defined in Verismith.Verilog.Distance Methods compare :: Pair a b -> Pair a b -> Ordering # (<) :: Pair a b -> Pair a b -> Bool # (<=) :: Pair a b -> Pair a b -> Bool # (>) :: Pair a b -> Pair a b -> Bool # (>=) :: Pair a b -> Pair a b -> Bool # max :: Pair a b -> Pair a b -> Pair a b # min :: Pair a b -> Pair a b -> Pair a b #

eqDistance :: Eq a => a -> a -> Int Source #

emptyDistance :: a -> a -> Int Source #

class Distance a where Source #

Minimal complete definition

distance

Methods

distance :: a -> a -> Int Source #

udistance :: a -> a -> Int Source #

dempty :: a -> Int Source #

Instances

Instances details

Distance Text Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Text -> Text -> Int Source # udistance :: Text -> Text -> Int Source # dempty :: Text -> Int Source #
Distance ConstExpr Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: ConstExpr -> ConstExpr -> Int Source # udistance :: ConstExpr -> ConstExpr -> Int Source # dempty :: ConstExpr -> Int Source #
Distance Identifier Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Identifier -> Identifier -> Int Source # udistance :: Identifier -> Identifier -> Int Source # dempty :: Identifier -> Int Source #
Distance Parameter Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Parameter -> Parameter -> Int Source # udistance :: Parameter -> Parameter -> Int Source # dempty :: Parameter -> Int Source #
Distance Port Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Port -> Port -> Int Source # udistance :: Port -> Port -> Int Source # dempty :: Port -> Int Source #
Distance PortDir Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: PortDir -> PortDir -> Int Source # udistance :: PortDir -> PortDir -> Int Source # dempty :: PortDir -> Int Source #
Distance PortType Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: PortType -> PortType -> Int Source # udistance :: PortType -> PortType -> Int Source # dempty :: PortType -> Int Source #
Distance Range Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Range -> Range -> Int Source # udistance :: Range -> Range -> Int Source # dempty :: Range -> Int Source #
Distance Integer Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Integer -> Integer -> Int Source # udistance :: Integer -> Integer -> Int Source # dempty :: Integer -> Int Source #
Distance Bool Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Bool -> Bool -> Int Source # udistance :: Bool -> Bool -> Int Source # dempty :: Bool -> Int Source #
Distance Char Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Char -> Char -> Int Source # udistance :: Char -> Char -> Int Source # dempty :: Char -> Int Source #
Distance (ModDecl a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: ModDecl a -> ModDecl a -> Int Source # udistance :: ModDecl a -> ModDecl a -> Int Source # dempty :: ModDecl a -> Int Source #
Distance (ModItem a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: ModItem a -> ModItem a -> Int Source # udistance :: ModItem a -> ModItem a -> Int Source # dempty :: ModItem a -> Int Source #
Distance (SourceInfo a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: SourceInfo a -> SourceInfo a -> Int Source # udistance :: SourceInfo a -> SourceInfo a -> Int Source # dempty :: SourceInfo a -> Int Source #
Distance (Statement a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Statement a -> Statement a -> Int Source # udistance :: Statement a -> Statement a -> Int Source # dempty :: Statement a -> Int Source #
Distance (Verilog a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Verilog a -> Verilog a -> Int Source # udistance :: Verilog a -> Verilog a -> Int Source # dempty :: Verilog a -> Int Source #
Distance a => Distance (Maybe a) Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: Maybe a -> Maybe a -> Int Source # udistance :: Maybe a -> Maybe a -> Int Source # dempty :: Maybe a -> Int Source #
Distance a => Distance [a] Source #
Instance details Defined in Verismith.Verilog.Distance Methods distance :: [a] -> [a] -> Int Source # udistance :: [a] -> [a] -> Int Source # dempty :: [a] -> Int Source #

minimumloc :: Distance a => a -> [a] -> Pair Int Int Source #

removeAt :: Int -> [a] -> [a] Source #

remdist :: Distance a => [a] -> [a] -> Int Source #

eval :: ConstExpr -> Integer Source #