Copyright	(c) 2016 Sentenai
License	Apache
Maintainer	Tim McGilchrist <timmcgil@gmail.com>, Mark Hibberd <mark@hibberd.id.au>
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Network.Riak.CRDT.Types

Contents

Types
Misc

Description

Haskell-side view of CRDT

Synopsis

data DataType
- = DTCounter Counter
- | DTSet Set
- | DTMap Map
newtype Counter = Counter Count
type Count = Int64
data CounterOp = CounterInc !Count
newtype Set = Set (Set ByteString)
data SetOp
- = SetAdd ByteString
- | SetRemove ByteString
newtype Map = Map MapContent
type MapContent = Map MapField MapEntry
data MapField = MapField MapEntryTag ByteString
data MapEntry
- = MapCounter !Counter
- | MapSet !Set
- | MapRegister !Register
- | MapFlag !Flag
- | MapMap !Map
xlookup :: MapPath -> MapEntryTag -> Map -> Maybe MapEntry
data MapOp
- = MapRemove MapField
- | MapUpdate MapPath MapValueOp
newtype MapPath = MapPath (NonEmpty ByteString)
data MapValueOp
- = MapCounterOp !CounterOp
- | MapSetOp !SetOp
- | MapRegisterOp !RegisterOp
- | MapFlagOp !FlagOp
- | MapMapOp !MapOp
mapUpdate :: IsMapOp o => MapPath -> o -> MapOp
(-/) :: ByteString -> MapPath -> MapPath
newtype Register = Register ByteString
data RegisterOp = RegisterSet !ByteString
newtype Flag = Flag Bool
data FlagOp = FlagSet !Bool
data NonEmpty a = a :| [a]
mapEntryTag :: MapValueOp -> MapEntryTag
setFromList :: [ByteString] -> Set
data MapEntryTag
- = MapCounterTag
- | MapSetTag
- | MapRegisterTag
- | MapFlagTag
- | MapMapTag

Types

data DataType Source #

CRDT ADT.

get operations return value of this type

Constructors

DTCounter Counter
DTSet Set
DTMap Map

Instances

Instances details

Eq DataType Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: DataType -> DataType -> Bool # (/=) :: DataType -> DataType -> Bool #
Show DataType Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> DataType -> ShowS # show :: DataType -> String # showList :: [DataType] -> ShowS #
Generic DataType Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep DataType :: Type -> Type # Methods from :: DataType -> Rep DataType x # to :: Rep DataType x -> DataType #
NFData DataType Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: DataType -> () #
type Rep DataType Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep DataType = D1 ('MetaData "DataType" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'False) (C1 ('MetaCons "DTCounter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Counter)) :+: (C1 ('MetaCons "DTSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Set)) :+: C1 ('MetaCons "DTMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Map))))

Counters

newtype Counter Source #

CRDT Counter hold a integer Count

>>> Counter 42

Constructors

Counter Count

Instances

Instances details

Eq Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: Counter -> Counter -> Bool # (/=) :: Counter -> Counter -> Bool #
Num Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (+) :: Counter -> Counter -> Counter # (-) :: Counter -> Counter -> Counter # (*) :: Counter -> Counter -> Counter # negate :: Counter -> Counter # abs :: Counter -> Counter # signum :: Counter -> Counter # fromInteger :: Integer -> Counter #
Ord Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods compare :: Counter -> Counter -> Ordering # (<) :: Counter -> Counter -> Bool # (<=) :: Counter -> Counter -> Bool # (>) :: Counter -> Counter -> Bool # (>=) :: Counter -> Counter -> Bool # max :: Counter -> Counter -> Counter # min :: Counter -> Counter -> Counter #
Show Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> Counter -> ShowS # show :: Counter -> String # showList :: [Counter] -> ShowS #
Generic Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep Counter :: Type -> Type # Methods from :: Counter -> Rep Counter x # to :: Rep Counter x -> Counter #
Semigroup Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (<>) :: Counter -> Counter -> Counter # sconcat :: NonEmpty Counter -> Counter # stimes :: Integral b => b -> Counter -> Counter #
Monoid Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods mempty :: Counter # mappend :: Counter -> Counter -> Counter # mconcat :: [Counter] -> Counter #
Default Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods def :: Counter #
NFData Counter Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: Counter -> () #
CRDT Counter CounterOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: CounterOp -> Counter -> Counter Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [CounterOp] -> IO () Source #
type Rep Counter Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep Counter = D1 ('MetaData "Counter" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'True) (C1 ('MetaCons "Counter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Count)))

type Count = Int64 Source #

Modification

data CounterOp Source #

Counters can be incremented/decremented

>>> CounterInc 1

Constructors

CounterInc !Count

Instances

Instances details

Eq CounterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: CounterOp -> CounterOp -> Bool # (/=) :: CounterOp -> CounterOp -> Bool #
Show CounterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> CounterOp -> ShowS # show :: CounterOp -> String # showList :: [CounterOp] -> ShowS #
Semigroup CounterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (<>) :: CounterOp -> CounterOp -> CounterOp # sconcat :: NonEmpty CounterOp -> CounterOp # stimes :: Integral b => b -> CounterOp -> CounterOp #
Monoid CounterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods mempty :: CounterOp # mappend :: CounterOp -> CounterOp -> CounterOp # mconcat :: [CounterOp] -> CounterOp #
CRDT Counter CounterOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: CounterOp -> Counter -> Counter Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [CounterOp] -> IO () Source #

Sets

newtype Set Source #

CRDT Set is a Data.Set

>>> Set (Data.Set.fromList ["foo","bar"])

Constructors

Set (Set ByteString)

Instances

Instances details

Eq Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: Set -> Set -> Bool # (/=) :: Set -> Set -> Bool #
Ord Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods compare :: Set -> Set -> Ordering # (<) :: Set -> Set -> Bool # (<=) :: Set -> Set -> Bool # (>) :: Set -> Set -> Bool # (>=) :: Set -> Set -> Bool # max :: Set -> Set -> Set # min :: Set -> Set -> Set #
Show Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> Set -> ShowS # show :: Set -> String # showList :: [Set] -> ShowS #
Generic Set Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep Set :: Type -> Type # Methods from :: Set -> Rep Set x # to :: Rep Set x -> Set #
Semigroup Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (<>) :: Set -> Set -> Set # sconcat :: NonEmpty Set -> Set # stimes :: Integral b => b -> Set -> Set #
Monoid Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods mempty :: Set # mappend :: Set -> Set -> Set # mconcat :: [Set] -> Set #
Default Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods def :: Set #
NFData Set Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: Set -> () #
CRDT Set SetOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: SetOp -> Set -> Set Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [SetOp] -> IO () Source #
type Rep Set Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep Set = D1 ('MetaData "Set" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'True) (C1 ('MetaCons "Set" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ByteString))))

Modification

data SetOp Source #

CRDT Set operations

Constructors

SetAdd ByteString

add element to the set

>>> SetAdd "foo"

SetRemove ByteString

remove element from the set

>>> SetRemove "bar"

Instances

Instances details

Eq SetOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: SetOp -> SetOp -> Bool # (/=) :: SetOp -> SetOp -> Bool #
Show SetOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> SetOp -> ShowS # show :: SetOp -> String # showList :: [SetOp] -> ShowS #
CRDT Set SetOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: SetOp -> Set -> Set Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [SetOp] -> IO () Source #

Maps

newtype Map Source #

CRDT Map is a Data.Map indexed by MapField and holding MapEntry.

Maps are specials in a way that they can additionally hold Flags, Registers, and most importantly, other Maps.

Constructors

Map MapContent

Instances

Instances details

Eq Map Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: Map -> Map -> Bool # (/=) :: Map -> Map -> Bool #
Show Map Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> Map -> ShowS # show :: Map -> String # showList :: [Map] -> ShowS #
Generic Map Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep Map :: Type -> Type # Methods from :: Map -> Rep Map x # to :: Rep Map x -> Map #
Default Map Source #
Instance details Defined in Network.Riak.CRDT.Types Methods def :: Map #
NFData Map Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: Map -> () #
CRDT Map MapOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: MapOp -> Map -> Map Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [MapOp] -> IO () Source #
type Rep Map Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep Map = D1 ('MetaData "Map" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'True) (C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MapContent)))

type MapContent = Map MapField MapEntry Source #

data MapField Source #

CRDT Map is indexed by MapField, which is a name tagged by a type (there may be different entries with the same name, but different types)

Constructors

MapField MapEntryTag ByteString

Instances

Instances details

Eq MapField Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapField -> MapField -> Bool # (/=) :: MapField -> MapField -> Bool #
Ord MapField Source #
Instance details Defined in Network.Riak.CRDT.Types Methods compare :: MapField -> MapField -> Ordering # (<) :: MapField -> MapField -> Bool # (<=) :: MapField -> MapField -> Bool # (>) :: MapField -> MapField -> Bool # (>=) :: MapField -> MapField -> Bool # max :: MapField -> MapField -> MapField # min :: MapField -> MapField -> MapField #
Show MapField Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapField -> ShowS # show :: MapField -> String # showList :: [MapField] -> ShowS #
Generic MapField Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep MapField :: Type -> Type # Methods from :: MapField -> Rep MapField x # to :: Rep MapField x -> MapField #
NFData MapField Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: MapField -> () #
type Rep MapField Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep MapField = D1 ('MetaData "MapField" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'False) (C1 ('MetaCons "MapField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MapEntryTag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data MapEntry Source #

CRDT Map holds values of type MapEntry

Constructors

MapCounter !Counter
MapSet !Set
MapRegister !Register
MapFlag !Flag
MapMap !Map

Instances

Instances details

Eq MapEntry Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapEntry -> MapEntry -> Bool # (/=) :: MapEntry -> MapEntry -> Bool #
Show MapEntry Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapEntry -> ShowS # show :: MapEntry -> String # showList :: [MapEntry] -> ShowS #
Generic MapEntry Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep MapEntry :: Type -> Type # Methods from :: MapEntry -> Rep MapEntry x # to :: Rep MapEntry x -> MapEntry #
NFData MapEntry Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: MapEntry -> () #
type Rep MapEntry Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep MapEntry = D1 ('MetaData "MapEntry" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'False) ((C1 ('MetaCons "MapCounter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Counter)) :+: C1 ('MetaCons "MapSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Set))) :+: (C1 ('MetaCons "MapRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Register)) :+: (C1 ('MetaCons "MapFlag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Flag)) :+: C1 ('MetaCons "MapMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Map)))))

Inspection

xlookup :: MapPath -> MapEntryTag -> Map -> Maybe MapEntry Source #

Lookup a value of a given MapEntryTag type on a given MapPath inside a map

>>> lookup ("a" -/ "b") MapFlagTag $ { "a"/Map: { "b"/Flag: Flag False } } -- pseudo
Just (MapFlag (Flag False))

Modification

data MapOp Source #

map operations It's easier to use mapUpdate:

>>> "x" -/ "y" -/ "z" `mapUpdate` SetAdd "elem"
MapUpdate (MapPath ("x" :| ["y","z"])) (MapCounterOp (CounterInc 1))

Constructors

MapRemove MapField	remove value in map
MapUpdate MapPath MapValueOp	update value on path by operation

Instances

Instances details

Eq MapOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapOp -> MapOp -> Bool # (/=) :: MapOp -> MapOp -> Bool #
Show MapOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapOp -> ShowS # show :: MapOp -> String # showList :: [MapOp] -> ShowS #
CRDT Map MapOp Source #
Instance details Defined in Network.Riak.CRDT Methods modify :: MapOp -> Map -> Map Source # sendModify :: Connection -> BucketType -> Bucket -> Key -> [MapOp] -> IO () Source #

newtype MapPath Source #

Selector (“xpath”) inside Map

Constructors

MapPath (NonEmpty ByteString)

Instances

Instances details

Eq MapPath Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapPath -> MapPath -> Bool # (/=) :: MapPath -> MapPath -> Bool #
Show MapPath Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapPath -> ShowS # show :: MapPath -> String # showList :: [MapPath] -> ShowS #
IsString MapPath Source #
Instance details Defined in Network.Riak.CRDT.Types Methods fromString :: String -> MapPath #

data MapValueOp Source #

Operations on map values

Constructors

MapCounterOp !CounterOp
MapSetOp !SetOp
MapRegisterOp !RegisterOp
MapFlagOp !FlagOp
MapMapOp !MapOp

Instances

Instances details

Eq MapValueOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapValueOp -> MapValueOp -> Bool # (/=) :: MapValueOp -> MapValueOp -> Bool #
Show MapValueOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapValueOp -> ShowS # show :: MapValueOp -> String # showList :: [MapValueOp] -> ShowS #

mapUpdate :: IsMapOp o => MapPath -> o -> MapOp infixr 5 Source #

(-/) :: ByteString -> MapPath -> MapPath infixr 6 Source #

Registers

newtype Register Source #

Registers can only be held as a Map element.

Register holds a ByteString.

Constructors

Register ByteString

Instances

Instances details

Eq Register Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: Register -> Register -> Bool # (/=) :: Register -> Register -> Bool #
Show Register Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> Register -> ShowS # show :: Register -> String # showList :: [Register] -> ShowS #
Generic Register Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep Register :: Type -> Type # Methods from :: Register -> Rep Register x # to :: Rep Register x -> Register #
Semigroup Register Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (<>) :: Register -> Register -> Register # sconcat :: NonEmpty Register -> Register # stimes :: Integral b => b -> Register -> Register #
Monoid Register Source #	Last-wins monoid for `Register`
Instance details Defined in Network.Riak.CRDT.Types Methods mempty :: Register # mappend :: Register -> Register -> Register # mconcat :: [Register] -> Register #
Default Register Source #
Instance details Defined in Network.Riak.CRDT.Types Methods def :: Register #
NFData Register Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: Register -> () #
type Rep Register Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep Register = D1 ('MetaData "Register" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'True) (C1 ('MetaCons "Register" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

Modification

data RegisterOp Source #

Registers can be set to a value

>>> RegisterSet "foo"

Constructors

RegisterSet !ByteString

Instances

Instances details

Eq RegisterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: RegisterOp -> RegisterOp -> Bool # (/=) :: RegisterOp -> RegisterOp -> Bool #
Show RegisterOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> RegisterOp -> ShowS # show :: RegisterOp -> String # showList :: [RegisterOp] -> ShowS #

Flags

newtype Flag Source #

Flags can only be held as a Map element.

Flag can be set or unset

>>> Flag False

Constructors

Flag Bool

Instances

Instances details

Eq Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: Flag -> Flag -> Bool # (/=) :: Flag -> Flag -> Bool #
Ord Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods compare :: Flag -> Flag -> Ordering # (<) :: Flag -> Flag -> Bool # (<=) :: Flag -> Flag -> Bool # (>) :: Flag -> Flag -> Bool # (>=) :: Flag -> Flag -> Bool # max :: Flag -> Flag -> Flag # min :: Flag -> Flag -> Flag #
Show Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> Flag -> ShowS # show :: Flag -> String # showList :: [Flag] -> ShowS #
Generic Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep Flag :: Type -> Type # Methods from :: Flag -> Rep Flag x # to :: Rep Flag x -> Flag #
Semigroup Flag Source #	Last-wins semigroup for `Flag`
Instance details Defined in Network.Riak.CRDT.Types Methods (<>) :: Flag -> Flag -> Flag # sconcat :: NonEmpty Flag -> Flag # stimes :: Integral b => b -> Flag -> Flag #
Monoid Flag Source #	Last-wins monoid for `Flag`
Instance details Defined in Network.Riak.CRDT.Types Methods mempty :: Flag # mappend :: Flag -> Flag -> Flag # mconcat :: [Flag] -> Flag #
Default Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods def :: Flag #
NFData Flag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: Flag -> () #
type Rep Flag Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep Flag = D1 ('MetaData "Flag" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'True) (C1 ('MetaCons "Flag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Modification

data FlagOp Source #

Flags can be enabled / disabled

>>> FlagSet True

Constructors

FlagSet !Bool

Instances

Instances details

Eq FlagOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: FlagOp -> FlagOp -> Bool # (/=) :: FlagOp -> FlagOp -> Bool #
Show FlagOp Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> FlagOp -> ShowS # show :: FlagOp -> String # showList :: [FlagOp] -> ShowS #

Misc

data NonEmpty a #

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Instances details

Monad NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (>>=) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b # (>>) :: NonEmpty a -> NonEmpty b -> NonEmpty b # return :: a -> NonEmpty a #
Functor NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods fmap :: (a -> b) -> NonEmpty a -> NonEmpty b # (<$) :: a -> NonEmpty b -> NonEmpty a #
Applicative NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods pure :: a -> NonEmpty a # (<>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b # liftA2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c # (>) :: NonEmpty a -> NonEmpty b -> NonEmpty b # (<*) :: NonEmpty a -> NonEmpty b -> NonEmpty a #
Foldable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => NonEmpty m -> m # foldMap :: Monoid m => (a -> m) -> NonEmpty a -> m # foldMap' :: Monoid m => (a -> m) -> NonEmpty a -> m # foldr :: (a -> b -> b) -> b -> NonEmpty a -> b # foldr' :: (a -> b -> b) -> b -> NonEmpty a -> b # foldl :: (b -> a -> b) -> b -> NonEmpty a -> b # foldl' :: (b -> a -> b) -> b -> NonEmpty a -> b # foldr1 :: (a -> a -> a) -> NonEmpty a -> a # foldl1 :: (a -> a -> a) -> NonEmpty a -> a # toList :: NonEmpty a -> [a] # null :: NonEmpty a -> Bool # length :: NonEmpty a -> Int # elem :: Eq a => a -> NonEmpty a -> Bool # maximum :: Ord a => NonEmpty a -> a # minimum :: Ord a => NonEmpty a -> a # sum :: Num a => NonEmpty a -> a # product :: Num a => NonEmpty a -> a #
Traversable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) # sequenceA :: Applicative f => NonEmpty (f a) -> f (NonEmpty a) # mapM :: Monad m => (a -> m b) -> NonEmpty a -> m (NonEmpty b) # sequence :: Monad m => NonEmpty (m a) -> m (NonEmpty a) #
ToJSON1 NonEmpty
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> NonEmpty a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [NonEmpty a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> NonEmpty a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [NonEmpty a] -> Encoding #
FromJSON1 NonEmpty
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (NonEmpty a) # liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [NonEmpty a] #
Eq1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> NonEmpty a -> NonEmpty b -> Bool #
Ord1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> NonEmpty a -> NonEmpty b -> Ordering #
Read1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NonEmpty a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NonEmpty a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NonEmpty a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NonEmpty a] #
Show1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NonEmpty a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NonEmpty a] -> ShowS #
NFData1 NonEmpty	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf :: (a -> ()) -> NonEmpty a -> () #
Hashable1 NonEmpty	Since: hashable-1.3.1.0
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> NonEmpty a -> Int #
Lift a => Lift (NonEmpty a :: Type)	Since: template-haskell-2.15.0.0
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: NonEmpty a -> Q Exp # liftTyped :: NonEmpty a -> Q (TExp (NonEmpty a)) #
IsList (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Exts Associated Types type Item (NonEmpty a) # Methods fromList :: [Item (NonEmpty a)] -> NonEmpty a # fromListN :: Int -> [Item (NonEmpty a)] -> NonEmpty a # toList :: NonEmpty a -> [Item (NonEmpty a)] #
Eq a => Eq (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (==) :: NonEmpty a -> NonEmpty a -> Bool # (/=) :: NonEmpty a -> NonEmpty a -> Bool #
Data a => Data (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NonEmpty a -> c (NonEmpty a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (NonEmpty a) # toConstr :: NonEmpty a -> Constr # dataTypeOf :: NonEmpty a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NonEmpty a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NonEmpty a)) # gmapT :: (forall b. Data b => b -> b) -> NonEmpty a -> NonEmpty a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NonEmpty a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NonEmpty a -> r # gmapQ :: (forall d. Data d => d -> u) -> NonEmpty a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NonEmpty a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) #
Ord a => Ord (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods compare :: NonEmpty a -> NonEmpty a -> Ordering # (<) :: NonEmpty a -> NonEmpty a -> Bool # (<=) :: NonEmpty a -> NonEmpty a -> Bool # (>) :: NonEmpty a -> NonEmpty a -> Bool # (>=) :: NonEmpty a -> NonEmpty a -> Bool # max :: NonEmpty a -> NonEmpty a -> NonEmpty a # min :: NonEmpty a -> NonEmpty a -> NonEmpty a #
Read a => Read (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (NonEmpty a) # readList :: ReadS [NonEmpty a] # readPrec :: ReadPrec (NonEmpty a) # readListPrec :: ReadPrec [NonEmpty a] #
Show a => Show (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Show Methods showsPrec :: Int -> NonEmpty a -> ShowS # show :: NonEmpty a -> String # showList :: [NonEmpty a] -> ShowS #
Generic (NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type # Methods from :: NonEmpty a -> Rep (NonEmpty a) x # to :: Rep (NonEmpty a) x -> NonEmpty a #
Semigroup (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a # sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a # stimes :: Integral b => b -> NonEmpty a -> NonEmpty a #
Hashable a => Hashable (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int # hash :: NonEmpty a -> Int #
ToJSON a => ToJSON (NonEmpty a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NonEmpty a -> Value # toEncoding :: NonEmpty a -> Encoding # toJSONList :: [NonEmpty a] -> Value # toEncodingList :: [NonEmpty a] -> Encoding #
FromJSON a => FromJSON (NonEmpty a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (NonEmpty a) # parseJSONList :: Value -> Parser [NonEmpty a] #
NFData a => NFData (NonEmpty a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: NonEmpty a -> () #
Generic1 NonEmpty	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty :: k -> Type # Methods from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a # to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a #
type Rep (NonEmpty a)
Instance details Defined in GHC.Generics type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))
type Item (NonEmpty a)
Instance details Defined in GHC.Exts type Item (NonEmpty a) = a
type Rep1 NonEmpty
Instance details Defined in GHC.Generics type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

mapEntryTag :: MapValueOp -> MapEntryTag Source #

setFromList :: [ByteString] -> Set Source #

data MapEntryTag Source #

Constructors

MapCounterTag
MapSetTag
MapRegisterTag
MapFlagTag
MapMapTag

Instances

Instances details

Eq MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods (==) :: MapEntryTag -> MapEntryTag -> Bool # (/=) :: MapEntryTag -> MapEntryTag -> Bool #
Ord MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods compare :: MapEntryTag -> MapEntryTag -> Ordering # (<) :: MapEntryTag -> MapEntryTag -> Bool # (<=) :: MapEntryTag -> MapEntryTag -> Bool # (>) :: MapEntryTag -> MapEntryTag -> Bool # (>=) :: MapEntryTag -> MapEntryTag -> Bool # max :: MapEntryTag -> MapEntryTag -> MapEntryTag # min :: MapEntryTag -> MapEntryTag -> MapEntryTag #
Show MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods showsPrec :: Int -> MapEntryTag -> ShowS # show :: MapEntryTag -> String # showList :: [MapEntryTag] -> ShowS #
Generic MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types Associated Types type Rep MapEntryTag :: Type -> Type # Methods from :: MapEntryTag -> Rep MapEntryTag x # to :: Rep MapEntryTag x -> MapEntryTag #
NFData MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types Methods rnf :: MapEntryTag -> () #
type Rep MapEntryTag Source #
Instance details Defined in Network.Riak.CRDT.Types type Rep MapEntryTag = D1 ('MetaData "MapEntryTag" "Network.Riak.CRDT.Types" "riak-1.2.0.0-CYLrRp5TJSeH9YOHpDuG7W" 'False) ((C1 ('MetaCons "MapCounterTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MapSetTag" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MapRegisterTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MapFlagTag" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MapMapTag" 'PrefixI 'False) (U1 :: Type -> Type))))