Data.Greskell.AsLabel

Since: 0.2.2.0

Documentation

newtype AsLabel a

AsLabel a represents a label string used in .as step pointing to the data of type a.

Constructors

AsLabel

Fields

• unAsLabel :: Text

Instances

Functor AsLabel

Unsafely convert the phantom type.

Defined in Data.Greskell.AsLabel

Methods

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

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

Eq (AsLabel a)

Defined in Data.Greskell.AsLabel

Methods

(==) :: AsLabel a -> AsLabel a -> Bool

(/=) :: AsLabel a -> AsLabel a -> Bool

Ord (AsLabel a)

Defined in Data.Greskell.AsLabel

Methods

compare :: AsLabel a -> AsLabel a -> Ordering

(<) :: AsLabel a -> AsLabel a -> Bool

(<=) :: AsLabel a -> AsLabel a -> Bool

(>) :: AsLabel a -> AsLabel a -> Bool

(>=) :: AsLabel a -> AsLabel a -> Bool

max :: AsLabel a -> AsLabel a -> AsLabel a

min :: AsLabel a -> AsLabel a -> AsLabel a

Show (AsLabel a)

Defined in Data.Greskell.AsLabel

Methods

showsPrec :: Int -> AsLabel a -> ShowS

show :: AsLabel a -> String

showList :: [AsLabel a] -> ShowS

ToGreskell (AsLabel a)

Returns the Text as a Gremlin string.

Defined in Data.Greskell.AsLabel

Associated Types

type GreskellReturn (AsLabel a) :: Type

Methods

toGreskell :: AsLabel a -> Greskell (GreskellReturn (AsLabel a))

type GreskellReturn (AsLabel a)

Defined in Data.Greskell.AsLabel

type GreskellReturn (AsLabel a) = Text

data SelectedMap a

A map keyed with AsLabel. Obtained from .select step, for example.

Instances

Functor SelectedMap

Defined in Data.Greskell.AsLabel

Methods

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

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

Foldable SelectedMap

Defined in Data.Greskell.AsLabel

Methods

fold :: Monoid m => SelectedMap m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> SelectedMap a -> a

foldl1 :: (a -> a -> a) -> SelectedMap a -> a

toList :: SelectedMap a -> [a]

null :: SelectedMap a -> Bool

length :: SelectedMap a -> Int

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

maximum :: Ord a => SelectedMap a -> a

minimum :: Ord a => SelectedMap a -> a

sum :: Num a => SelectedMap a -> a

product :: Num a => SelectedMap a -> a

Traversable SelectedMap

Defined in Data.Greskell.AsLabel

Methods

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

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

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

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

Eq a => Eq (SelectedMap a)

Defined in Data.Greskell.AsLabel

Methods

(==) :: SelectedMap a -> SelectedMap a -> Bool

(/=) :: SelectedMap a -> SelectedMap a -> Bool

Show a => Show (SelectedMap a)

Defined in Data.Greskell.AsLabel

Methods

showsPrec :: Int -> SelectedMap a -> ShowS

show :: SelectedMap a -> String

showList :: [SelectedMap a] -> ShowS

FromGraphSON a => FromGraphSON (SelectedMap a)

Defined in Data.Greskell.AsLabel

Methods

parseGraphSON :: GValue -> Parser (SelectedMap a)

GraphSONTyped (SelectedMap a)

Defined in Data.Greskell.AsLabel

Methods

gsonTypeFor :: SelectedMap a -> Text

lookup :: AsLabel a -> SelectedMap b -> Maybe b

Get value from SelectedMap.

lookupM :: MonadThrow m => AsLabel a -> SelectedMap b -> m b

MonadThrow version of lookup. If there is no value for the AsLabel, it throws NoSuchAsLabel.

lookupAs :: FromGraphSON a => AsLabel a -> SelectedMap GValue -> Either AsLookupException a

Get value from SelectedMap and parse the value into a.

lookupAsM :: (MonadThrow m, FromGraphSON a) => AsLabel a -> SelectedMap GValue -> m a

MonadThrow version of lookupAs.

data AsLookupException

An Exception raised by lookupM and lookupAsM.

Constructors

NoSuchAsLabel

The SelectedMap does not have the given AsLabel as the key.

ParseError String

Failed to parse the value into the type that the AsLabel indicates. The String is the error message.

Instances

Eq AsLookupException

Defined in Data.Greskell.AsLabel

Methods

(==) :: AsLookupException -> AsLookupException -> Bool

(/=) :: AsLookupException -> AsLookupException -> Bool

Ord AsLookupException

Defined in Data.Greskell.AsLabel

Methods

compare :: AsLookupException -> AsLookupException -> Ordering

(<) :: AsLookupException -> AsLookupException -> Bool

(<=) :: AsLookupException -> AsLookupException -> Bool

(>) :: AsLookupException -> AsLookupException -> Bool

(>=) :: AsLookupException -> AsLookupException -> Bool

max :: AsLookupException -> AsLookupException -> AsLookupException

min :: AsLookupException -> AsLookupException -> AsLookupException

Show AsLookupException

Defined in Data.Greskell.AsLabel

Methods

showsPrec :: Int -> AsLookupException -> ShowS

show :: AsLookupException -> String

showList :: [AsLookupException] -> ShowS

Exception AsLookupException

Defined in Data.Greskell.AsLabel

Methods

toException :: AsLookupException -> SomeException

fromException :: SomeException -> Maybe AsLookupException

displayException :: AsLookupException -> String