hoogle

Hoogle.Store.All

Synopsis

Documentation

type SPut a = ReaderT SPutS IO a

type SGet a = ReaderT SGetS IO a

runSGet :: Typeable a => FilePath -> SGet a -> IO a

data Once a

Turn on to see file statistics

All once values are equal with respect to keyOnce If you create it with once it will have the same key. If two are loaded from a file they are equal.

Instances

Typeable1 Once 
Eq a => Eq (Once a) 
Ord a => Ord (Once a) 
Show a => Show (Once a) 
(Typeable a, Store a) => Store (Once a) 

fromOnce :: Once a -> a

once :: a -> Once a

getDefer :: Typeable a => SGet a -> SGet a

class Store a where

Methods

put :: a -> SPut ()

get :: SGet a

getList :: Int -> SGet [a]

putList :: [a] -> SPut ()

size :: a -> Maybe Int

Instances

Store Bool 
Store Char 
Store Int 
Store Int32 
Store Word8 
Store Word32 
Store () 
Store ByteString 
Store TagStr 
Store Docs 
Store Type 
Store TypeSig 
Store Entry 
Store EntryInfo 
Store Items 
Store SuggestItem 
Store Suggest 
Store Alias 
Store Aliases 
Store Instances 
Store Node 
Store Graph 
Store Graphs 
Store TypeSearch 
Store DataBase 
Store Identity 
Store a => Store [a] 
Store a => Store (Maybe a) 
(Typeable a, Store a) => Store (Once a) 
(Typeable a, Store a) => Store (Defer a) 
(Typeable a, Store a) => Store (SubstrSearch a) 
(Store a, Store b) => Store (Either a b) 
(Store a, Store b) => Store (a, b) 
(Ix i, Store i, Store e) => Store (Array i e) 
(Typeable k, Typeable v, Ord k, Store k, Store v) => Store (Map k v) 
(Store a, Store b, Store c) => Store (a, b, c) 

newtype Defer a

Constructors

Defer 

Fields

fromDefer :: a
 

Instances

Eq a => Eq (Defer a) 
Ord a => Ord (Defer a) 
Show a => Show (Defer a) 
(Typeable a, Store a) => Store (Defer a)