Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.LocalIds

Synopsis

data LocalIds' t h = LocalIds {
- textLookup :: Vector t
- defnLookup :: Vector h
}
type LocalIds = LocalIds' TextId ObjectId
type WatchLocalIds = LocalIds' TextId HashId
newtype LocalTextId = LocalTextId Word64
newtype LocalDefnId = LocalDefnId Word64
newtype LocalHashId = LocalHashId Word64
newtype LocalPatchObjectId = LocalPatchObjectId Word64
newtype LocalBranchChildId = LocalBranchChildId Word64
newtype LocalCausalHashId = LocalCausalHashId Word64
t_ :: Traversal (LocalIds' t h) (LocalIds' t' h) t t'
h_ :: Traversal (LocalIds' t h) (LocalIds' t h') h h'

Documentation

data LocalIds' t h Source #

A mapping between index ids that are local to an object and the ids in the database

Constructors

LocalIds
Fields textLookup :: Vector t defnLookup :: Vector h

Instances

Instances details

Bifoldable LocalIds' Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods bifold :: Monoid m => LocalIds' m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> LocalIds' a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> LocalIds' a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> LocalIds' a b -> c #
Bifunctor LocalIds' Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods bimap :: (a -> b) -> (c -> d) -> LocalIds' a c -> LocalIds' b d # first :: (a -> b) -> LocalIds' a c -> LocalIds' b c # second :: (b -> c) -> LocalIds' a b -> LocalIds' a c #
Bitraversable LocalIds' Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> LocalIds' a b -> f (LocalIds' c d) #
Functor (LocalIds' t) Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods fmap :: (a -> b) -> LocalIds' t a -> LocalIds' t b # (<$) :: a -> LocalIds' t b -> LocalIds' t a #
(Show t, Show h) => Show (LocalIds' t h) Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalIds' t h -> ShowS # show :: LocalIds' t h -> String # showList :: [LocalIds' t h] -> ShowS #

type LocalIds = LocalIds' TextId ObjectId Source #

type WatchLocalIds = LocalIds' TextId HashId Source #

newtype LocalTextId Source #

represents an index into a textLookup

Constructors

LocalTextId Word64

Instances

Instances details

Bits LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalTextId -> LocalTextId -> LocalTextId # (.\|.) :: LocalTextId -> LocalTextId -> LocalTextId # xor :: LocalTextId -> LocalTextId -> LocalTextId # complement :: LocalTextId -> LocalTextId # shift :: LocalTextId -> Int -> LocalTextId # rotate :: LocalTextId -> Int -> LocalTextId # zeroBits :: LocalTextId # bit :: Int -> LocalTextId # setBit :: LocalTextId -> Int -> LocalTextId # clearBit :: LocalTextId -> Int -> LocalTextId # complementBit :: LocalTextId -> Int -> LocalTextId # testBit :: LocalTextId -> Int -> Bool # bitSizeMaybe :: LocalTextId -> Maybe Int # bitSize :: LocalTextId -> Int # isSigned :: LocalTextId -> Bool # shiftL :: LocalTextId -> Int -> LocalTextId # unsafeShiftL :: LocalTextId -> Int -> LocalTextId # shiftR :: LocalTextId -> Int -> LocalTextId # unsafeShiftR :: LocalTextId -> Int -> LocalTextId # rotateL :: LocalTextId -> Int -> LocalTextId # rotateR :: LocalTextId -> Int -> LocalTextId # popCount :: LocalTextId -> Int #
Enum LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalTextId -> LocalTextId # pred :: LocalTextId -> LocalTextId # toEnum :: Int -> LocalTextId # fromEnum :: LocalTextId -> Int # enumFrom :: LocalTextId -> [LocalTextId] # enumFromThen :: LocalTextId -> LocalTextId -> [LocalTextId] # enumFromTo :: LocalTextId -> LocalTextId -> [LocalTextId] # enumFromThenTo :: LocalTextId -> LocalTextId -> LocalTextId -> [LocalTextId] #
Num LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalTextId -> LocalTextId -> LocalTextId # (-) :: LocalTextId -> LocalTextId -> LocalTextId # (*) :: LocalTextId -> LocalTextId -> LocalTextId # negate :: LocalTextId -> LocalTextId # abs :: LocalTextId -> LocalTextId # signum :: LocalTextId -> LocalTextId # fromInteger :: Integer -> LocalTextId #
Integral LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalTextId -> LocalTextId -> LocalTextId # rem :: LocalTextId -> LocalTextId -> LocalTextId # div :: LocalTextId -> LocalTextId -> LocalTextId # mod :: LocalTextId -> LocalTextId -> LocalTextId # quotRem :: LocalTextId -> LocalTextId -> (LocalTextId, LocalTextId) # divMod :: LocalTextId -> LocalTextId -> (LocalTextId, LocalTextId) # toInteger :: LocalTextId -> Integer #
Real LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalTextId -> Rational #
Show LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalTextId -> ShowS # show :: LocalTextId -> String # showList :: [LocalTextId] -> ShowS #
Eq LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalTextId -> LocalTextId -> Bool # (/=) :: LocalTextId -> LocalTextId -> Bool #
Ord LocalTextId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalTextId -> LocalTextId -> Ordering # (<) :: LocalTextId -> LocalTextId -> Bool # (<=) :: LocalTextId -> LocalTextId -> Bool # (>) :: LocalTextId -> LocalTextId -> Bool # (>=) :: LocalTextId -> LocalTextId -> Bool # max :: LocalTextId -> LocalTextId -> LocalTextId # min :: LocalTextId -> LocalTextId -> LocalTextId #

newtype LocalDefnId Source #

represents an index into a defnLookup

In this context, "definition" means an object that is either a term component or a (type) decl component, not a patch, namespace, or any other kind of object.

Constructors

LocalDefnId Word64

Instances

Instances details

Bits LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalDefnId -> LocalDefnId -> LocalDefnId # (.\|.) :: LocalDefnId -> LocalDefnId -> LocalDefnId # xor :: LocalDefnId -> LocalDefnId -> LocalDefnId # complement :: LocalDefnId -> LocalDefnId # shift :: LocalDefnId -> Int -> LocalDefnId # rotate :: LocalDefnId -> Int -> LocalDefnId # zeroBits :: LocalDefnId # bit :: Int -> LocalDefnId # setBit :: LocalDefnId -> Int -> LocalDefnId # clearBit :: LocalDefnId -> Int -> LocalDefnId # complementBit :: LocalDefnId -> Int -> LocalDefnId # testBit :: LocalDefnId -> Int -> Bool # bitSizeMaybe :: LocalDefnId -> Maybe Int # bitSize :: LocalDefnId -> Int # isSigned :: LocalDefnId -> Bool # shiftL :: LocalDefnId -> Int -> LocalDefnId # unsafeShiftL :: LocalDefnId -> Int -> LocalDefnId # shiftR :: LocalDefnId -> Int -> LocalDefnId # unsafeShiftR :: LocalDefnId -> Int -> LocalDefnId # rotateL :: LocalDefnId -> Int -> LocalDefnId # rotateR :: LocalDefnId -> Int -> LocalDefnId # popCount :: LocalDefnId -> Int #
Enum LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalDefnId -> LocalDefnId # pred :: LocalDefnId -> LocalDefnId # toEnum :: Int -> LocalDefnId # fromEnum :: LocalDefnId -> Int # enumFrom :: LocalDefnId -> [LocalDefnId] # enumFromThen :: LocalDefnId -> LocalDefnId -> [LocalDefnId] # enumFromTo :: LocalDefnId -> LocalDefnId -> [LocalDefnId] # enumFromThenTo :: LocalDefnId -> LocalDefnId -> LocalDefnId -> [LocalDefnId] #
Num LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalDefnId -> LocalDefnId -> LocalDefnId # (-) :: LocalDefnId -> LocalDefnId -> LocalDefnId # (*) :: LocalDefnId -> LocalDefnId -> LocalDefnId # negate :: LocalDefnId -> LocalDefnId # abs :: LocalDefnId -> LocalDefnId # signum :: LocalDefnId -> LocalDefnId # fromInteger :: Integer -> LocalDefnId #
Integral LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalDefnId -> LocalDefnId -> LocalDefnId # rem :: LocalDefnId -> LocalDefnId -> LocalDefnId # div :: LocalDefnId -> LocalDefnId -> LocalDefnId # mod :: LocalDefnId -> LocalDefnId -> LocalDefnId # quotRem :: LocalDefnId -> LocalDefnId -> (LocalDefnId, LocalDefnId) # divMod :: LocalDefnId -> LocalDefnId -> (LocalDefnId, LocalDefnId) # toInteger :: LocalDefnId -> Integer #
Real LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalDefnId -> Rational #
Show LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalDefnId -> ShowS # show :: LocalDefnId -> String # showList :: [LocalDefnId] -> ShowS #
Eq LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalDefnId -> LocalDefnId -> Bool # (/=) :: LocalDefnId -> LocalDefnId -> Bool #
Ord LocalDefnId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalDefnId -> LocalDefnId -> Ordering # (<) :: LocalDefnId -> LocalDefnId -> Bool # (<=) :: LocalDefnId -> LocalDefnId -> Bool # (>) :: LocalDefnId -> LocalDefnId -> Bool # (>=) :: LocalDefnId -> LocalDefnId -> Bool # max :: LocalDefnId -> LocalDefnId -> LocalDefnId # min :: LocalDefnId -> LocalDefnId -> LocalDefnId #

newtype LocalHashId Source #

a local index to a hash, used when the corresponding object is allowed to be absent

Constructors

LocalHashId Word64

Instances

Instances details

Bits LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalHashId -> LocalHashId -> LocalHashId # (.\|.) :: LocalHashId -> LocalHashId -> LocalHashId # xor :: LocalHashId -> LocalHashId -> LocalHashId # complement :: LocalHashId -> LocalHashId # shift :: LocalHashId -> Int -> LocalHashId # rotate :: LocalHashId -> Int -> LocalHashId # zeroBits :: LocalHashId # bit :: Int -> LocalHashId # setBit :: LocalHashId -> Int -> LocalHashId # clearBit :: LocalHashId -> Int -> LocalHashId # complementBit :: LocalHashId -> Int -> LocalHashId # testBit :: LocalHashId -> Int -> Bool # bitSizeMaybe :: LocalHashId -> Maybe Int # bitSize :: LocalHashId -> Int # isSigned :: LocalHashId -> Bool # shiftL :: LocalHashId -> Int -> LocalHashId # unsafeShiftL :: LocalHashId -> Int -> LocalHashId # shiftR :: LocalHashId -> Int -> LocalHashId # unsafeShiftR :: LocalHashId -> Int -> LocalHashId # rotateL :: LocalHashId -> Int -> LocalHashId # rotateR :: LocalHashId -> Int -> LocalHashId # popCount :: LocalHashId -> Int #
Enum LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalHashId -> LocalHashId # pred :: LocalHashId -> LocalHashId # toEnum :: Int -> LocalHashId # fromEnum :: LocalHashId -> Int # enumFrom :: LocalHashId -> [LocalHashId] # enumFromThen :: LocalHashId -> LocalHashId -> [LocalHashId] # enumFromTo :: LocalHashId -> LocalHashId -> [LocalHashId] # enumFromThenTo :: LocalHashId -> LocalHashId -> LocalHashId -> [LocalHashId] #
Num LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalHashId -> LocalHashId -> LocalHashId # (-) :: LocalHashId -> LocalHashId -> LocalHashId # (*) :: LocalHashId -> LocalHashId -> LocalHashId # negate :: LocalHashId -> LocalHashId # abs :: LocalHashId -> LocalHashId # signum :: LocalHashId -> LocalHashId # fromInteger :: Integer -> LocalHashId #
Integral LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalHashId -> LocalHashId -> LocalHashId # rem :: LocalHashId -> LocalHashId -> LocalHashId # div :: LocalHashId -> LocalHashId -> LocalHashId # mod :: LocalHashId -> LocalHashId -> LocalHashId # quotRem :: LocalHashId -> LocalHashId -> (LocalHashId, LocalHashId) # divMod :: LocalHashId -> LocalHashId -> (LocalHashId, LocalHashId) # toInteger :: LocalHashId -> Integer #
Real LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalHashId -> Rational #
Show LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalHashId -> ShowS # show :: LocalHashId -> String # showList :: [LocalHashId] -> ShowS #
Eq LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalHashId -> LocalHashId -> Bool # (/=) :: LocalHashId -> LocalHashId -> Bool #
Ord LocalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalHashId -> LocalHashId -> Ordering # (<) :: LocalHashId -> LocalHashId -> Bool # (<=) :: LocalHashId -> LocalHashId -> Bool # (>) :: LocalHashId -> LocalHashId -> Bool # (>=) :: LocalHashId -> LocalHashId -> Bool # max :: LocalHashId -> LocalHashId -> LocalHashId # min :: LocalHashId -> LocalHashId -> LocalHashId #

newtype LocalPatchObjectId Source #

Constructors

LocalPatchObjectId Word64

Instances

Instances details

Bits LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # (.\|.) :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # xor :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # complement :: LocalPatchObjectId -> LocalPatchObjectId # shift :: LocalPatchObjectId -> Int -> LocalPatchObjectId # rotate :: LocalPatchObjectId -> Int -> LocalPatchObjectId # zeroBits :: LocalPatchObjectId # bit :: Int -> LocalPatchObjectId # setBit :: LocalPatchObjectId -> Int -> LocalPatchObjectId # clearBit :: LocalPatchObjectId -> Int -> LocalPatchObjectId # complementBit :: LocalPatchObjectId -> Int -> LocalPatchObjectId # testBit :: LocalPatchObjectId -> Int -> Bool # bitSizeMaybe :: LocalPatchObjectId -> Maybe Int # bitSize :: LocalPatchObjectId -> Int # isSigned :: LocalPatchObjectId -> Bool # shiftL :: LocalPatchObjectId -> Int -> LocalPatchObjectId # unsafeShiftL :: LocalPatchObjectId -> Int -> LocalPatchObjectId # shiftR :: LocalPatchObjectId -> Int -> LocalPatchObjectId # unsafeShiftR :: LocalPatchObjectId -> Int -> LocalPatchObjectId # rotateL :: LocalPatchObjectId -> Int -> LocalPatchObjectId # rotateR :: LocalPatchObjectId -> Int -> LocalPatchObjectId # popCount :: LocalPatchObjectId -> Int #
Enum LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalPatchObjectId -> LocalPatchObjectId # pred :: LocalPatchObjectId -> LocalPatchObjectId # toEnum :: Int -> LocalPatchObjectId # fromEnum :: LocalPatchObjectId -> Int # enumFrom :: LocalPatchObjectId -> [LocalPatchObjectId] # enumFromThen :: LocalPatchObjectId -> LocalPatchObjectId -> [LocalPatchObjectId] # enumFromTo :: LocalPatchObjectId -> LocalPatchObjectId -> [LocalPatchObjectId] # enumFromThenTo :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId -> [LocalPatchObjectId] #
Num LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # (-) :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # (*) :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # negate :: LocalPatchObjectId -> LocalPatchObjectId # abs :: LocalPatchObjectId -> LocalPatchObjectId # signum :: LocalPatchObjectId -> LocalPatchObjectId # fromInteger :: Integer -> LocalPatchObjectId #
Integral LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # rem :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # div :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # mod :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # quotRem :: LocalPatchObjectId -> LocalPatchObjectId -> (LocalPatchObjectId, LocalPatchObjectId) # divMod :: LocalPatchObjectId -> LocalPatchObjectId -> (LocalPatchObjectId, LocalPatchObjectId) # toInteger :: LocalPatchObjectId -> Integer #
Real LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalPatchObjectId -> Rational #
Show LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalPatchObjectId -> ShowS # show :: LocalPatchObjectId -> String # showList :: [LocalPatchObjectId] -> ShowS #
Eq LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool # (/=) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool #
Ord LocalPatchObjectId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalPatchObjectId -> LocalPatchObjectId -> Ordering # (<) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool # (<=) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool # (>) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool # (>=) :: LocalPatchObjectId -> LocalPatchObjectId -> Bool # max :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId # min :: LocalPatchObjectId -> LocalPatchObjectId -> LocalPatchObjectId #

newtype LocalBranchChildId Source #

Constructors

LocalBranchChildId Word64

Instances

Instances details

Bits LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # (.\|.) :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # xor :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # complement :: LocalBranchChildId -> LocalBranchChildId # shift :: LocalBranchChildId -> Int -> LocalBranchChildId # rotate :: LocalBranchChildId -> Int -> LocalBranchChildId # zeroBits :: LocalBranchChildId # bit :: Int -> LocalBranchChildId # setBit :: LocalBranchChildId -> Int -> LocalBranchChildId # clearBit :: LocalBranchChildId -> Int -> LocalBranchChildId # complementBit :: LocalBranchChildId -> Int -> LocalBranchChildId # testBit :: LocalBranchChildId -> Int -> Bool # bitSizeMaybe :: LocalBranchChildId -> Maybe Int # bitSize :: LocalBranchChildId -> Int # isSigned :: LocalBranchChildId -> Bool # shiftL :: LocalBranchChildId -> Int -> LocalBranchChildId # unsafeShiftL :: LocalBranchChildId -> Int -> LocalBranchChildId # shiftR :: LocalBranchChildId -> Int -> LocalBranchChildId # unsafeShiftR :: LocalBranchChildId -> Int -> LocalBranchChildId # rotateL :: LocalBranchChildId -> Int -> LocalBranchChildId # rotateR :: LocalBranchChildId -> Int -> LocalBranchChildId # popCount :: LocalBranchChildId -> Int #
Enum LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalBranchChildId -> LocalBranchChildId # pred :: LocalBranchChildId -> LocalBranchChildId # toEnum :: Int -> LocalBranchChildId # fromEnum :: LocalBranchChildId -> Int # enumFrom :: LocalBranchChildId -> [LocalBranchChildId] # enumFromThen :: LocalBranchChildId -> LocalBranchChildId -> [LocalBranchChildId] # enumFromTo :: LocalBranchChildId -> LocalBranchChildId -> [LocalBranchChildId] # enumFromThenTo :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId -> [LocalBranchChildId] #
Num LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # (-) :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # (*) :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # negate :: LocalBranchChildId -> LocalBranchChildId # abs :: LocalBranchChildId -> LocalBranchChildId # signum :: LocalBranchChildId -> LocalBranchChildId # fromInteger :: Integer -> LocalBranchChildId #
Integral LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # rem :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # div :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # mod :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # quotRem :: LocalBranchChildId -> LocalBranchChildId -> (LocalBranchChildId, LocalBranchChildId) # divMod :: LocalBranchChildId -> LocalBranchChildId -> (LocalBranchChildId, LocalBranchChildId) # toInteger :: LocalBranchChildId -> Integer #
Real LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalBranchChildId -> Rational #
Show LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalBranchChildId -> ShowS # show :: LocalBranchChildId -> String # showList :: [LocalBranchChildId] -> ShowS #
Eq LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalBranchChildId -> LocalBranchChildId -> Bool # (/=) :: LocalBranchChildId -> LocalBranchChildId -> Bool #
Ord LocalBranchChildId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalBranchChildId -> LocalBranchChildId -> Ordering # (<) :: LocalBranchChildId -> LocalBranchChildId -> Bool # (<=) :: LocalBranchChildId -> LocalBranchChildId -> Bool # (>) :: LocalBranchChildId -> LocalBranchChildId -> Bool # (>=) :: LocalBranchChildId -> LocalBranchChildId -> Bool # max :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId # min :: LocalBranchChildId -> LocalBranchChildId -> LocalBranchChildId #

newtype LocalCausalHashId Source #

causal hashes are treated differently from HashIds, which don't have dependencies

Constructors

LocalCausalHashId Word64

Instances

Instances details

Bits LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (.&.) :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # (.\|.) :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # xor :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # complement :: LocalCausalHashId -> LocalCausalHashId # shift :: LocalCausalHashId -> Int -> LocalCausalHashId # rotate :: LocalCausalHashId -> Int -> LocalCausalHashId # zeroBits :: LocalCausalHashId # bit :: Int -> LocalCausalHashId # setBit :: LocalCausalHashId -> Int -> LocalCausalHashId # clearBit :: LocalCausalHashId -> Int -> LocalCausalHashId # complementBit :: LocalCausalHashId -> Int -> LocalCausalHashId # testBit :: LocalCausalHashId -> Int -> Bool # bitSizeMaybe :: LocalCausalHashId -> Maybe Int # bitSize :: LocalCausalHashId -> Int # isSigned :: LocalCausalHashId -> Bool # shiftL :: LocalCausalHashId -> Int -> LocalCausalHashId # unsafeShiftL :: LocalCausalHashId -> Int -> LocalCausalHashId # shiftR :: LocalCausalHashId -> Int -> LocalCausalHashId # unsafeShiftR :: LocalCausalHashId -> Int -> LocalCausalHashId # rotateL :: LocalCausalHashId -> Int -> LocalCausalHashId # rotateR :: LocalCausalHashId -> Int -> LocalCausalHashId # popCount :: LocalCausalHashId -> Int #
Enum LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods succ :: LocalCausalHashId -> LocalCausalHashId # pred :: LocalCausalHashId -> LocalCausalHashId # toEnum :: Int -> LocalCausalHashId # fromEnum :: LocalCausalHashId -> Int # enumFrom :: LocalCausalHashId -> [LocalCausalHashId] # enumFromThen :: LocalCausalHashId -> LocalCausalHashId -> [LocalCausalHashId] # enumFromTo :: LocalCausalHashId -> LocalCausalHashId -> [LocalCausalHashId] # enumFromThenTo :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId -> [LocalCausalHashId] #
Num LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (+) :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # (-) :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # (*) :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # negate :: LocalCausalHashId -> LocalCausalHashId # abs :: LocalCausalHashId -> LocalCausalHashId # signum :: LocalCausalHashId -> LocalCausalHashId # fromInteger :: Integer -> LocalCausalHashId #
Integral LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods quot :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # rem :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # div :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # mod :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # quotRem :: LocalCausalHashId -> LocalCausalHashId -> (LocalCausalHashId, LocalCausalHashId) # divMod :: LocalCausalHashId -> LocalCausalHashId -> (LocalCausalHashId, LocalCausalHashId) # toInteger :: LocalCausalHashId -> Integer #
Real LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods toRational :: LocalCausalHashId -> Rational #
Show LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods showsPrec :: Int -> LocalCausalHashId -> ShowS # show :: LocalCausalHashId -> String # showList :: [LocalCausalHashId] -> ShowS #
Eq LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods (==) :: LocalCausalHashId -> LocalCausalHashId -> Bool # (/=) :: LocalCausalHashId -> LocalCausalHashId -> Bool #
Ord LocalCausalHashId Source #
Instance details Defined in U.Codebase.Sqlite.LocalIds Methods compare :: LocalCausalHashId -> LocalCausalHashId -> Ordering # (<) :: LocalCausalHashId -> LocalCausalHashId -> Bool # (<=) :: LocalCausalHashId -> LocalCausalHashId -> Bool # (>) :: LocalCausalHashId -> LocalCausalHashId -> Bool # (>=) :: LocalCausalHashId -> LocalCausalHashId -> Bool # max :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId # min :: LocalCausalHashId -> LocalCausalHashId -> LocalCausalHashId #

t_ :: Traversal (LocalIds' t h) (LocalIds' t' h) t t' Source #

h_ :: Traversal (LocalIds' t h) (LocalIds' t h') h h' Source #