greskell-1.2.0.1: Haskell binding for Gremlin graph query language
MaintainerToshio Ito <debug.ito@gmail.com>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Greskell.NonEmptyLike

Description

Since: 1.0.0.0

Synopsis

Documentation

class Foldable t => NonEmptyLike t where Source #

Non-empty containers. Its cardinality is one or more.

Since: 1.0.0.0

Methods

singleton :: a -> t a Source #

Make a container with a single value.

append :: t a -> t a -> t a Source #

Append two containers.

toNonEmpty :: t a -> NonEmpty a Source #

Convert the container to NonEmpty list.

Instances

Instances details
NonEmptyLike First Source #

append is <> from Semigroup.

Instance details

Defined in Data.Greskell.NonEmptyLike

Methods

singleton :: a -> First a Source #

append :: First a -> First a -> First a Source #

toNonEmpty :: First a -> NonEmpty a Source #

NonEmptyLike Last Source #

append is <> from Semigroup.

Instance details

Defined in Data.Greskell.NonEmptyLike

Methods

singleton :: a -> Last a Source #

append :: Last a -> Last a -> Last a Source #

toNonEmpty :: Last a -> NonEmpty a Source #

NonEmptyLike NonEmpty Source #

append is <> from Semigroup.

Instance details

Defined in Data.Greskell.NonEmptyLike

NonEmptyLike Multi Source # 
Instance details

Defined in Data.Greskell.PMap

Methods

singleton :: a -> Multi a Source #

append :: Multi a -> Multi a -> Multi a Source #

toNonEmpty :: Multi a -> NonEmpty a Source #