rest-rewrite-0.4.1: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

MultisetOrdering

Documentation

data Replace a Source #

Constructors

ReplaceOne a a 
Replace a [a] 

Instances

Instances details
Show a => Show (Replace a) Source # 
Instance details

Defined in MultisetOrdering

Methods

showsPrec :: Int -> Replace a -> ShowS #

show :: Replace a -> String #

showList :: [Replace a] -> ShowS #

newtype MultisetGE a Source #

Constructors

MultisetGE [Replace a] 

Instances

Instances details
Show a => Show (MultisetGE a) Source # 
Instance details

Defined in MultisetOrdering

Methods

showsPrec :: Int -> MultisetGE a -> ShowS #

show :: MultisetGE a -> String #

showList :: [MultisetGE a] -> ShowS #

type GTE a = a -> a -> Bool Source #

type Indexed a = (a, Int) Source #

type IndexedMultisetPair a = (Indexed (MultiSet (Indexed a)), Indexed (MultiSet (Indexed a))) Source #

multisetGE :: forall a. Eq a => GTE a -> MultiSet a -> MultiSet a -> Maybe (MultisetGE a) Source #

multisetOrd :: (Eq a, Hashable a, Ord a) => [a] -> [a] -> Maybe (MultisetGE a) Source #

zindex :: [a] -> [(a, Int)] Source #

indexMS :: (Eq a, Hashable a) => MultiSet a -> MultiSet (a, Int) Source #

mkEdge :: NodeID -> NodeID -> Edge Source #

botNodeName :: Int -> Int -> String Source #

botNode :: Int -> Int -> Node Source #

toGraph' :: forall a. (Eq a, Hashable a, Show a) => GTE a -> [MultiSet a] -> DiGraph Source #

toGraph :: (Ord a, Eq a, Hashable a, Show a) => [[a]] -> DiGraph Source #

mkMSOGraph :: (Ord a, Eq a, Hashable a, Show a) => String -> [[a]] -> IO () Source #

mkMSOGraphs :: (Ord a, Eq a, Hashable a, Show a) => String -> [[a]] -> IO () Source #

multisetGE' :: (Ord a, Hashable a) => [a] -> [a] -> Maybe (MultisetGE a) Source #