HAppS-IxSet-0.9.2.1 Source code Contents Index

HAppS.Data.IxSet

Documentation

data IxSet a Source

Constructors ISet [a] IxSet [Ix a] Instances Typeable1 IxSet (Data ctx a, Sat (ctx (IxSet a)), Sat (ctx ([] a)), Indexable a b, Data a, Ord a) => Data ctx (IxSet a) Data a => Data (IxSet a) (Ord a, Read a, Data a, Indexable a b) => Read (IxSet a) (Ord a, Show a) => Show (IxSet a) Version (IxSet a) (Serialize a, Ord a, Data a, Indexable a b) => Serialize (IxSet a) (Indexable a b, Data a, Ord a, Default a) => Default (IxSet a) (Show a, Indexable a b, Data a, Ord a) => Monoid (IxSet a)

iSetConstr :: Constr Source

ixSetConstr :: Constr Source

ixSetDataType :: DataType Source

class Data b => Indexable a b | a -> b where Source

Methods empty :: IxSet a Source calcs :: a -> b Source Instances Indexable Test String Indexable Test String

inferIxSet :: String -> Name -> Name -> [Name] -> Q [Dec] Source

flatten :: (Typeable a, Data a) => a -> [Dynamic] Source

type IndexOp = forall k a. (Ord k, Ord a) => k -> a -> Map k (Set a) -> Map k (Set a) Source

change :: (Data a, Ord a, Data b, Indexable a b) => IndexOp -> a -> IxSet a -> IxSet a Source

insert :: (Data a, Ord a, Data b, Indexable a b) => a -> IxSet a -> IxSet a Source

delete :: (Data a, Ord a, Data b, Indexable a b) => a -> IxSet a -> IxSet a Source

updateIx :: (Indexable a b, Ord a, Data a, Typeable k) => k -> a -> IxSet a -> IxSet a Source

toSet :: Ord a => IxSet a -> Set a Source

toSet' :: Ord a => [Ix a] -> Set a Source

fromSet :: (Indexable a b, Ord a, Data a) => Set a -> IxSet a Source

fromSet' :: (Indexable a b, Ord a, Data a) => Set a -> IxSet a Source

fromList :: (Indexable a b, Ord a, Data a) => [a] -> IxSet a Source

size :: Ord a => IxSet a -> Int Source

toList :: Ord a => IxSet a -> [a] Source

toList' :: Ord a => [Ix a] -> [a] Source

getOne :: Ord a => IxSet a -> Maybe a Source

getOneOr :: Ord a => a -> IxSet a -> a Source

(&&&) :: (Ord a, Data a, Indexable a b) => IxSet a -> IxSet a -> IxSet a Source

(|||) :: (Ord a, Data a, Indexable a b) => IxSet a -> IxSet a -> IxSet a Source

union :: (Ord a, Data a, Indexable a b) => IxSet a -> IxSet a -> IxSet a Source

intersection :: (Ord a, Data a, Indexable a b) => IxSet a -> IxSet a -> IxSet a Source

(@<) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> k -> IxSet a Source

(@>) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> k -> IxSet a Source

(@<=) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> k -> IxSet a Source

(@>=) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> k -> IxSet a Source

(@=) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> k -> IxSet a Source

(@>=<) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> (k, k) -> IxSet a Source

(@><=) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> (k, k) -> IxSet a Source

(@>=<=) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> (k, k) -> IxSet a Source

(@><) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> (k, k) -> IxSet a Source

(@*) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> [k] -> IxSet a Source

(@+) :: (Indexable a b, Data a, Ord a, Typeable k) => IxSet a -> [k] -> IxSet a Source

getEQ :: (Indexable a b, Data a, Ord a, Typeable k) => k -> IxSet a -> IxSet a Source

getLT :: (Indexable a b, Data a, Ord a, Typeable k) => k -> IxSet a -> IxSet a Source

getGT :: (Indexable a b, Data a, Ord a, Typeable k) => k -> IxSet a -> IxSet a Source

getLTE :: (Indexable a b, Data a, Ord a, Typeable k) => k -> IxSet a -> IxSet a Source

getGTE :: (Indexable a b, Data a, Ord a, Typeable k) => k -> IxSet a -> IxSet a Source

getRange :: (Indexable a b, Typeable k, Ord a, Data a) => k -> k -> IxSet a -> IxSet a Source

groupBy :: (Typeable k, Typeable t) => IxSet t -> [(k, [t])] Source

getOrd :: (Indexable a b, Ord a, Data a, Typeable k) => Ordering -> k -> IxSet a -> IxSet a Source

module Ix

Produced by Haddock version 2.4.2