Documentation

type EqClass a = [a] Source #

type QSpace a = [EqClass a] Source #

type Predicate a = a -> Bool Source #

type Norm a = a -> a Source #

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

(//) :: Eq a => [a] -> EqRel a -> QSpace a Source #

eqClass :: (Eq a, Show a) => QSpace a -> EqRel a -> a -> EqClass a Source #

randomize :: StdGen -> [a] -> [a] Source #