MO.Util

Documentation

on :: (b -> b -> c) -> (a -> b) -> a -> a -> c

Source

traceShow :: Show a => a -> b -> b

Source

traceM :: Monad m => String -> m ()

Source

(?==?) :: (Eq a, Typeable a, Typeable b) => a -> b -> Bool

Source

(?<=>?) :: (Ord a, Typeable a, Typeable b) => a -> b -> Ordering

Source

addressOf :: a -> Word

Source

data Ord a => Collection a

Source

Constructors

MkCollection

c_objects :: Set a
c_names :: AtomMap a

Instances

Typeable1 Collection

Ord a => Eq (Collection a)

Ord a => Ord (Collection a)

(Ord a, Show a) => Show (Collection a)

cmap :: (Ord a, Ord b) => (a -> b) -> Collection a -> Collection b

Source

remove :: (Monad m, Ord a) => Atom -> a -> Collection a -> m (Collection a)

Source

add :: (Monad m, Ord a) => Atom -> a -> Collection a -> m (Collection a)

Source

insert :: Ord a => Atom -> a -> Collection a -> Collection a

Source

emptyCollection :: Ord a => Collection a

Source

newCollection :: Ord a => [(Atom, a)] -> Collection a

Source

newCollection' :: Ord a => (a -> Atom) -> [a] -> Collection a

Source

newCollectionMap :: Ord a => AtomMap a -> Collection a

Source

items :: Ord a => Collection a -> [a]

Source

items_named :: Ord a => Collection a -> [(Atom, a)]

Source

includes :: Ord a => Collection a -> a -> Bool

Source

includes_name :: Ord a => Collection a -> Atom -> Bool

Source

includes_any :: Ord a => Collection a -> [a] -> Bool

Source

includes_any_name :: Ord a => Collection a -> [Atom] -> Bool

Source

includes_all :: Ord a => Collection a -> [a] -> Bool

Source

shadow :: Ord a => [Collection a] -> [a]

Source

shadow' :: Ord a => [Collection a] -> AtomMap a

Source

shadow_collection :: Ord a => [Collection a] -> Collection a

Source

merge :: Ord a => [Collection a] -> [a]

Source

merge' :: Ord a => [Collection a] -> AtomMap a

Source

merge_collection :: Ord a => [Collection a] -> Collection a

Source

sym_shadowing :: (Show a, Ord a) => b -> (b -> [b]) -> (b -> Collection a) -> Collection a

Source

sym_merged_parents :: (Show a, Ord a) => b -> (b -> [b]) -> (b -> Collection a) -> Collection a

Source

sym_inheritance :: Ord a => b -> (b -> [b]) -> (b -> Collection a) -> Collection a

Source

module MO.Capture

Produced by Haddock version 2.3.0