Data.Greskell.Graph.PropertyMap

Deprecated: Use PMap instead

PropertyMap was used in greskell prior than 1.0.0.0, but is now deprecated. Use Data.Greskell.PMap instead.

PropertyMap

class PropertyMap m where

Common basic operations supported by maps of properties.

Minimal complete definition

lookupList, putProperty, removeProperty, allProperties

Methods

lookupOne :: Text -> m p v -> Maybe (p v)

Look up a property associated with the given key.

lookupList :: Text -> m p v -> [p v]

Look up all properties associated with the given key.

putProperty :: Property p => p v -> m p v -> m p v

Put a property into the map.

removeProperty :: Text -> m p v -> m p v

Remove all properties associated with the given key.

allProperties :: m p v -> [p v]

Return all properties in the map.

Instances

PropertyMap PropertyMapList

Defined in Data.Greskell.Graph.PropertyMap

Methods

lookupOne :: Text -> PropertyMapList p v -> Maybe (p v)

lookupList :: Text -> PropertyMapList p v -> [p v]

putProperty :: Property p => p v -> PropertyMapList p v -> PropertyMapList p v

removeProperty :: forall (p :: Type -> Type) v. Text -> PropertyMapList p v -> PropertyMapList p v

allProperties :: PropertyMapList p v -> [p v]

PropertyMap PropertyMapSingle

Defined in Data.Greskell.Graph.PropertyMap

Methods

lookupOne :: Text -> PropertyMapSingle p v -> Maybe (p v)

lookupList :: Text -> PropertyMapSingle p v -> [p v]

putProperty :: Property p => p v -> PropertyMapSingle p v -> PropertyMapSingle p v

removeProperty :: forall (p :: Type -> Type) v. Text -> PropertyMapSingle p v -> PropertyMapSingle p v

allProperties :: PropertyMapSingle p v -> [p v]

data PropertyMapSingle p v

A PropertyMap that has a single value per key.

putProperty replaces the old property by the given property.

<> returns the union of the two given property maps. If the two property maps share some same keys, the value from the left map wins.

Instances

PropertyMap PropertyMapSingle

Defined in Data.Greskell.Graph.PropertyMap

Methods

lookupOne :: Text -> PropertyMapSingle p v -> Maybe (p v)

lookupList :: Text -> PropertyMapSingle p v -> [p v]

putProperty :: Property p => p v -> PropertyMapSingle p v -> PropertyMapSingle p v

removeProperty :: forall (p :: Type -> Type) v. Text -> PropertyMapSingle p v -> PropertyMapSingle p v

allProperties :: PropertyMapSingle p v -> [p v]

Functor p => Functor (PropertyMapSingle p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

fmap :: (a -> b) -> PropertyMapSingle p a -> PropertyMapSingle p b

(<$) :: a -> PropertyMapSingle p b -> PropertyMapSingle p a

Foldable p => Foldable (PropertyMapSingle p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

fold :: Monoid m => PropertyMapSingle p m -> m

foldMap :: Monoid m => (a -> m) -> PropertyMapSingle p a -> m

foldMap' :: Monoid m => (a -> m) -> PropertyMapSingle p a -> m

foldr :: (a -> b -> b) -> b -> PropertyMapSingle p a -> b

foldr' :: (a -> b -> b) -> b -> PropertyMapSingle p a -> b

foldl :: (b -> a -> b) -> b -> PropertyMapSingle p a -> b

foldl' :: (b -> a -> b) -> b -> PropertyMapSingle p a -> b

foldr1 :: (a -> a -> a) -> PropertyMapSingle p a -> a

foldl1 :: (a -> a -> a) -> PropertyMapSingle p a -> a

toList :: PropertyMapSingle p a -> [a]

null :: PropertyMapSingle p a -> Bool

length :: PropertyMapSingle p a -> Int

elem :: Eq a => a -> PropertyMapSingle p a -> Bool

maximum :: Ord a => PropertyMapSingle p a -> a

minimum :: Ord a => PropertyMapSingle p a -> a

sum :: Num a => PropertyMapSingle p a -> a

product :: Num a => PropertyMapSingle p a -> a

Traversable p => Traversable (PropertyMapSingle p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

traverse :: Applicative f => (a -> f b) -> PropertyMapSingle p a -> f (PropertyMapSingle p b)

sequenceA :: Applicative f => PropertyMapSingle p (f a) -> f (PropertyMapSingle p a)

mapM :: Monad m => (a -> m b) -> PropertyMapSingle p a -> m (PropertyMapSingle p b)

sequence :: Monad m => PropertyMapSingle p (m a) -> m (PropertyMapSingle p a)

Eq (p v) => Eq (PropertyMapSingle p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

(==) :: PropertyMapSingle p v -> PropertyMapSingle p v -> Bool

(/=) :: PropertyMapSingle p v -> PropertyMapSingle p v -> Bool

Show (p v) => Show (PropertyMapSingle p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

showsPrec :: Int -> PropertyMapSingle p v -> ShowS

show :: PropertyMapSingle p v -> String

showList :: [PropertyMapSingle p v] -> ShowS

Semigroup (PropertyMapSingle p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

(<>) :: PropertyMapSingle p v -> PropertyMapSingle p v -> PropertyMapSingle p v

sconcat :: NonEmpty (PropertyMapSingle p v) -> PropertyMapSingle p v

stimes :: Integral b => b -> PropertyMapSingle p v -> PropertyMapSingle p v

Monoid (PropertyMapSingle p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

mempty :: PropertyMapSingle p v

mappend :: PropertyMapSingle p v -> PropertyMapSingle p v -> PropertyMapSingle p v

mconcat :: [PropertyMapSingle p v] -> PropertyMapSingle p v

(Property p, GraphSONTyped (p v), FromGraphSON (p v), FromGraphSONWithKey (p v)) => FromJSON (PropertyMapSingle p v)

In version 0.1.1.0 and before, the constraint was FromJSON v. This has changed.

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseJSON :: Value -> Parser (PropertyMapSingle p v)

parseJSONList :: Value -> Parser [PropertyMapSingle p v]

(Property p, GraphSONTyped (p v), FromGraphSON (p v), FromGraphSONWithKey (p v)) => FromGraphSON (PropertyMapSingle p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSON :: GValue -> Parser (PropertyMapSingle p v)

data PropertyMapList p v

A PropertyMap that can keep more than one values per key.

lookupOne returns the first property associated with the given key.

putProperty prepends the given property to the property list.

<> returns the union of the two given property maps. If the two property maps share some same keys, those property lists are concatenated.

Instances

PropertyMap PropertyMapList

Defined in Data.Greskell.Graph.PropertyMap

Methods

lookupOne :: Text -> PropertyMapList p v -> Maybe (p v)

lookupList :: Text -> PropertyMapList p v -> [p v]

putProperty :: Property p => p v -> PropertyMapList p v -> PropertyMapList p v

removeProperty :: forall (p :: Type -> Type) v. Text -> PropertyMapList p v -> PropertyMapList p v

allProperties :: PropertyMapList p v -> [p v]

Functor p => Functor (PropertyMapList p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

fmap :: (a -> b) -> PropertyMapList p a -> PropertyMapList p b

(<$) :: a -> PropertyMapList p b -> PropertyMapList p a

Foldable p => Foldable (PropertyMapList p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

fold :: Monoid m => PropertyMapList p m -> m

foldMap :: Monoid m => (a -> m) -> PropertyMapList p a -> m

foldMap' :: Monoid m => (a -> m) -> PropertyMapList p a -> m

foldr :: (a -> b -> b) -> b -> PropertyMapList p a -> b

foldr' :: (a -> b -> b) -> b -> PropertyMapList p a -> b

foldl :: (b -> a -> b) -> b -> PropertyMapList p a -> b

foldl' :: (b -> a -> b) -> b -> PropertyMapList p a -> b

foldr1 :: (a -> a -> a) -> PropertyMapList p a -> a

foldl1 :: (a -> a -> a) -> PropertyMapList p a -> a

toList :: PropertyMapList p a -> [a]

null :: PropertyMapList p a -> Bool

length :: PropertyMapList p a -> Int

elem :: Eq a => a -> PropertyMapList p a -> Bool

maximum :: Ord a => PropertyMapList p a -> a

minimum :: Ord a => PropertyMapList p a -> a

sum :: Num a => PropertyMapList p a -> a

product :: Num a => PropertyMapList p a -> a

Traversable p => Traversable (PropertyMapList p)

Defined in Data.Greskell.Graph.PropertyMap

Methods

traverse :: Applicative f => (a -> f b) -> PropertyMapList p a -> f (PropertyMapList p b)

sequenceA :: Applicative f => PropertyMapList p (f a) -> f (PropertyMapList p a)

mapM :: Monad m => (a -> m b) -> PropertyMapList p a -> m (PropertyMapList p b)

sequence :: Monad m => PropertyMapList p (m a) -> m (PropertyMapList p a)

Eq (p v) => Eq (PropertyMapList p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

(==) :: PropertyMapList p v -> PropertyMapList p v -> Bool

(/=) :: PropertyMapList p v -> PropertyMapList p v -> Bool

Show (p v) => Show (PropertyMapList p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

showsPrec :: Int -> PropertyMapList p v -> ShowS

show :: PropertyMapList p v -> String

showList :: [PropertyMapList p v] -> ShowS

Semigroup (PropertyMapList p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

(<>) :: PropertyMapList p v -> PropertyMapList p v -> PropertyMapList p v

sconcat :: NonEmpty (PropertyMapList p v) -> PropertyMapList p v

stimes :: Integral b => b -> PropertyMapList p v -> PropertyMapList p v

Monoid (PropertyMapList p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

mempty :: PropertyMapList p v

mappend :: PropertyMapList p v -> PropertyMapList p v -> PropertyMapList p v

mconcat :: [PropertyMapList p v] -> PropertyMapList p v

(Property p, GraphSONTyped (p v), FromGraphSON (p v), FromGraphSONWithKey (p v)) => FromJSON (PropertyMapList p v)

In version 0.1.1.0 and before, the constraint was FromJSON v. This has changed.

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseJSON :: Value -> Parser (PropertyMapList p v)

parseJSONList :: Value -> Parser [PropertyMapList p v]

(Property p, GraphSONTyped (p v), FromGraphSON (p v), FromGraphSONWithKey (p v)) => FromGraphSON (PropertyMapList p v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSON :: GValue -> Parser (PropertyMapList p v)

lookupOneValue :: (PropertyMap m, Property p) => Text -> m p v -> Maybe v

Lookup a property value from a PropertyMap by key.

lookupListValues :: (PropertyMap m, Property p) => Text -> m p v -> [v]

Lookup a list of property values from a PropertyMap by key.

parseOneValue :: (PropertyMap m, Property p, FromGraphSON v) => Text -> m p GValue -> Parser v

Lookup a property GValue by the given key, and parse it.

In version 0.1.1.0 and before, this function took an argument m p (GraphSON Value). This has changed, because property types for AVertex etc have changed.

parseListValues :: (PropertyMap m, Property p, FromGraphSON v) => Text -> m p GValue -> Parser [v]

Lookup a list of property values from a PropertyMap by the given key, and parse them.

In version 0.1.1.0 and before, this function took an argument m p (GraphSON Value). This has changed, because property types for AVertex etc have changed.

parseNonEmptyValues :: (PropertyMap m, Property p, FromGraphSON v) => Text -> m p GValue -> Parser (NonEmpty v)

Like parseListValues, but this function fails when there is no property with the given key.

In version 0.1.1.0 and before, this function took an argument m p (GraphSON Value). This has changed, because property types for AVertex etc have changed.

fromProperties :: (PropertyMap m, Property p, Monoid (m p v)) => [p v] -> m p v

Create a PropertyMap from list of Propertys.

Internal use

class FromGraphSONWithKey a

This typeclass is for internal use.

GraphSON parser with a property key given from outside.

Since: 0.2.0.0

Minimal complete definition

parseGraphSONWithKey

Instances

FromGraphSON v => FromGraphSONWithKey (AVertexProperty v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSONWithKey :: Text -> GValue -> Parser (AVertexProperty v)

FromGraphSON v => FromGraphSONWithKey (AProperty v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSONWithKey :: Text -> GValue -> Parser (AProperty v)

Re-exports

data AProperty v

General simple property type you can use for Property class.

If you are not sure about the type v, just use GValue.

Constructors

AProperty

Fields

• apKey :: Text
• apValue :: v

Instances

Functor AProperty

Defined in Data.Greskell.Graph

Methods

fmap :: (a -> b) -> AProperty a -> AProperty b

(<$) :: a -> AProperty b -> AProperty a

Foldable AProperty

Defined in Data.Greskell.Graph

Methods

fold :: Monoid m => AProperty m -> m

foldMap :: Monoid m => (a -> m) -> AProperty a -> m

foldMap' :: Monoid m => (a -> m) -> AProperty a -> m

foldr :: (a -> b -> b) -> b -> AProperty a -> b

foldr' :: (a -> b -> b) -> b -> AProperty a -> b

foldl :: (b -> a -> b) -> b -> AProperty a -> b

foldl' :: (b -> a -> b) -> b -> AProperty a -> b

foldr1 :: (a -> a -> a) -> AProperty a -> a

foldl1 :: (a -> a -> a) -> AProperty a -> a

toList :: AProperty a -> [a]

null :: AProperty a -> Bool

length :: AProperty a -> Int

elem :: Eq a => a -> AProperty a -> Bool

maximum :: Ord a => AProperty a -> a

minimum :: Ord a => AProperty a -> a

sum :: Num a => AProperty a -> a

product :: Num a => AProperty a -> a

Traversable AProperty

Defined in Data.Greskell.Graph

Methods

traverse :: Applicative f => (a -> f b) -> AProperty a -> f (AProperty b)

sequenceA :: Applicative f => AProperty (f a) -> f (AProperty a)

mapM :: Monad m => (a -> m b) -> AProperty a -> m (AProperty b)

sequence :: Monad m => AProperty (m a) -> m (AProperty a)

Property AProperty

Defined in Data.Greskell.Graph

Methods

propertyKey :: AProperty v -> Text

propertyValue :: AProperty v -> v

Eq v => Eq (AProperty v)

Defined in Data.Greskell.Graph

Methods

(==) :: AProperty v -> AProperty v -> Bool

(/=) :: AProperty v -> AProperty v -> Bool

Ord v => Ord (AProperty v)

Defined in Data.Greskell.Graph

Methods

compare :: AProperty v -> AProperty v -> Ordering

(<) :: AProperty v -> AProperty v -> Bool

(<=) :: AProperty v -> AProperty v -> Bool

(>) :: AProperty v -> AProperty v -> Bool

(>=) :: AProperty v -> AProperty v -> Bool

max :: AProperty v -> AProperty v -> AProperty v

min :: AProperty v -> AProperty v -> AProperty v

Show v => Show (AProperty v)

Defined in Data.Greskell.Graph

Methods

showsPrec :: Int -> AProperty v -> ShowS

show :: AProperty v -> String

showList :: [AProperty v] -> ShowS

FromGraphSON v => FromJSON (AProperty v)

Parse Property of GraphSON 1.0.

In version 0.1.1.0 and before, the constraint was FromJSON v. This has changed.

Defined in Data.Greskell.Graph

Methods

parseJSON :: Value -> Parser (AProperty v)

parseJSONList :: Value -> Parser [AProperty v]

FromGraphSON v => FromGraphSON (AProperty v)

Parse Property of GraphSON 1.0.

Defined in Data.Greskell.Graph

Methods

parseGraphSON :: GValue -> Parser (AProperty v)

GraphSONTyped (AProperty v)

Defined in Data.Greskell.Graph

Methods

gsonTypeFor :: AProperty v -> Text

FromGraphSON v => FromGraphSONWithKey (AProperty v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSONWithKey :: Text -> GValue -> Parser (AProperty v)

data AVertexProperty v

General vertex property type you can use for VertexProperty.

If you are not sure about the type v, just use GValue.

Constructors

AVertexProperty

Fields

• avpId :: ElementID (AVertexProperty v)

  ID of this vertex property.

• avpLabel :: Text

  Label and key of this vertex property.

• avpValue :: v

  Value of this vertex property.

Instances

Functor AVertexProperty

Map the property value.

Defined in Data.Greskell.Graph

Methods

fmap :: (a -> b) -> AVertexProperty a -> AVertexProperty b

(<$) :: a -> AVertexProperty b -> AVertexProperty a

Foldable AVertexProperty

Defined in Data.Greskell.Graph

Methods

fold :: Monoid m => AVertexProperty m -> m

foldMap :: Monoid m => (a -> m) -> AVertexProperty a -> m

foldMap' :: Monoid m => (a -> m) -> AVertexProperty a -> m

foldr :: (a -> b -> b) -> b -> AVertexProperty a -> b

foldr' :: (a -> b -> b) -> b -> AVertexProperty a -> b

foldl :: (b -> a -> b) -> b -> AVertexProperty a -> b

foldl' :: (b -> a -> b) -> b -> AVertexProperty a -> b

foldr1 :: (a -> a -> a) -> AVertexProperty a -> a

foldl1 :: (a -> a -> a) -> AVertexProperty a -> a

toList :: AVertexProperty a -> [a]

null :: AVertexProperty a -> Bool

length :: AVertexProperty a -> Int

elem :: Eq a => a -> AVertexProperty a -> Bool

maximum :: Ord a => AVertexProperty a -> a

minimum :: Ord a => AVertexProperty a -> a

sum :: Num a => AVertexProperty a -> a

product :: Num a => AVertexProperty a -> a

Traversable AVertexProperty

Traverse the property value.

Defined in Data.Greskell.Graph

Methods

traverse :: Applicative f => (a -> f b) -> AVertexProperty a -> f (AVertexProperty b)

sequenceA :: Applicative f => AVertexProperty (f a) -> f (AVertexProperty a)

mapM :: Monad m => (a -> m b) -> AVertexProperty a -> m (AVertexProperty b)

sequence :: Monad m => AVertexProperty (m a) -> m (AVertexProperty a)

Property AVertexProperty

Defined in Data.Greskell.Graph

Methods

propertyKey :: AVertexProperty v -> Text

propertyValue :: AVertexProperty v -> v

Eq v => Eq (AVertexProperty v)

Defined in Data.Greskell.Graph

Methods

(==) :: AVertexProperty v -> AVertexProperty v -> Bool

(/=) :: AVertexProperty v -> AVertexProperty v -> Bool

Show v => Show (AVertexProperty v)

Defined in Data.Greskell.Graph

Methods

showsPrec :: Int -> AVertexProperty v -> ShowS

show :: AVertexProperty v -> String

showList :: [AVertexProperty v] -> ShowS

FromGraphSON v => FromJSON (AVertexProperty v)

In version 0.1.1.0 and before, the constraint was FromJSON v. This has changed.

Defined in Data.Greskell.Graph

Methods

parseJSON :: Value -> Parser (AVertexProperty v)

parseJSONList :: Value -> Parser [AVertexProperty v]

FromGraphSON v => FromGraphSON (AVertexProperty v)

Defined in Data.Greskell.Graph

Methods

parseGraphSON :: GValue -> Parser (AVertexProperty v)

GraphSONTyped (AVertexProperty v)

Defined in Data.Greskell.Graph

Methods

gsonTypeFor :: AVertexProperty v -> Text

Element (AVertexProperty v)

Defined in Data.Greskell.Graph

Associated Types

type ElementProperty (AVertexProperty v) :: Type -> Type

type ElementPropertyContainer (AVertexProperty v) :: Type -> Type

ElementData (AVertexProperty v)

Since: 1.0.0.0

Defined in Data.Greskell.Graph

Methods

elementId :: AVertexProperty v -> ElementID (AVertexProperty v)

elementLabel :: AVertexProperty v -> Text

FromGraphSON v => FromGraphSONWithKey (AVertexProperty v)

Defined in Data.Greskell.Graph.PropertyMap

Methods

parseGraphSONWithKey :: Text -> GValue -> Parser (AVertexProperty v)

type ElementProperty (AVertexProperty v)

Defined in Data.Greskell.Graph

type ElementProperty (AVertexProperty v) = AProperty

type ElementPropertyContainer (AVertexProperty v)

Defined in Data.Greskell.Graph

type ElementPropertyContainer (AVertexProperty v) = Single