| hoogle | Source code | Contents | Index

Data.Binary.Defer.Index

Synopsis

type Id = Int
data Index a
newIndex :: [a] -> Index a
data Lookup a
newLookup :: Id -> Lookup a
lookupKey :: Lookup a -> Id
lookupIndex :: Lookup a -> Index a -> a
data Link a
newLink :: Id -> a -> Link a
fromLink :: Link a -> a
linkKey :: Link a -> Id
indexLinks :: Index a -> [Link a]
data Index_ a
newIndex_ :: Index_ a
getLink :: Ord a => a -> Index_ a -> (Index_ a, Link a)
getLookup :: Ord a => a -> Index_ a -> (Index_ a, Lookup a)
indexFreeze :: Index_ a -> Index a

Documentation

type Id = Int | Source

data Index a | Source

Instances

Functor Index
Typeable1 Index
Show a => Show (Index a)
Typeable a => Typeable (Index a)
BinaryDefer a => BinaryDefer (Index a)

newIndex :: [a] -> Index a | Source

Items will obtain the Id's 0..length-1

data Lookup a | Source

Instances

Eq (Lookup a)
Ord (Lookup a)
Show (Lookup a)
BinaryDefer (Lookup a)

newLookup :: Id -> Lookup a | Source

lookupKey :: Lookup a -> Id | Source

lookupIndex :: Lookup a -> Index a -> a | Source

data Link a | Source

Instances

Eq (Link a)
Ord a => Ord (Link a)
Show a => Show (Link a)
Typeable a => BinaryDefer (Link a)

newLink :: Id -> a -> Link a | Source

fromLink :: Link a -> a | Source

linkKey :: Link a -> Id | Source

indexLinks :: Index a -> [Link a] | Source

data Index_ a | Source

Instances

Show a => Show (Index_ a)

newIndex_ :: Index_ a | Source

getLink :: Ord a => a -> Index_ a -> (Index_ a, Link a) | Source

getLookup :: Ord a => a -> Index_ a -> (Index_ a, Lookup a) | Source

indexFreeze :: Index_ a -> Index a | Source

Produced by Haddock version 2.4.2