Data.Vessel.DependentMap

Documentation

newtype DMapV (k :: * -> *) (v :: * -> *) g

A functor-indexed container corrresponding to DMap k v.

Constructors

DMapV

Fields

• unDMapV :: MonoidalDMap k (Compose g v)

Instances

GCompare k => EmptyView (DMapV k v)

Defined in Data.Vessel.DependentMap

Methods

emptyV :: DMapV k v f

GCompare k => View (DMapV k v)

Defined in Data.Vessel.DependentMap

Methods

condenseV :: (Foldable t, Filterable t, Functor t) => t (DMapV k v g) -> DMapV k v (Compose t g)

disperseV :: Align t => DMapV k v (Compose t g) -> t (DMapV k v g)

cropV :: (forall a. s a -> i a -> r a) -> DMapV k v s -> DMapV k v i -> Maybe (DMapV k v r)

nullV :: DMapV k v i -> Bool

mapV :: (forall a. f a -> g a) -> DMapV k v f -> DMapV k v g

traverseV :: Applicative m => (forall a. f a -> m (g a)) -> DMapV k v f -> m (DMapV k v g)

mapMaybeV :: (forall a. f a -> Maybe (g a)) -> DMapV k v f -> Maybe (DMapV k v g)

alignWithMaybeV :: (forall a. These (f a) (g a) -> Maybe (h a)) -> DMapV k v f -> DMapV k v g -> Maybe (DMapV k v h)

alignWithV :: (forall a. These (f a) (g a) -> h a) -> DMapV k v f -> DMapV k v g -> DMapV k v h

GCompare k => Selectable (DMapV k v) (Set (Some k))

Defined in Data.Vessel.DependentMap

Associated Types

type Selection (DMapV k v) (Set (Some k)) :: Type

Methods

selector :: (forall a. p a) -> Set (Some k) -> DMapV k v p

selection :: Set (Some k) -> DMapV k v Identity -> Selection (DMapV k v) (Set (Some k))

(GCompare k, Has' Eq k (Compose g v)) => Eq (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

(==) :: DMapV k v g -> DMapV k v g -> Bool

(/=) :: DMapV k v g -> DMapV k v g -> Bool

(GCompare k, Has' Eq k (Compose g v), Has' Ord k (Compose g v)) => Ord (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

compare :: DMapV k v g -> DMapV k v g -> Ordering

(<) :: DMapV k v g -> DMapV k v g -> Bool

(<=) :: DMapV k v g -> DMapV k v g -> Bool

(>) :: DMapV k v g -> DMapV k v g -> Bool

(>=) :: DMapV k v g -> DMapV k v g -> Bool

max :: DMapV k v g -> DMapV k v g -> DMapV k v g

min :: DMapV k v g -> DMapV k v g -> DMapV k v g

(ForallF Show k, Has' Show k (Compose g v)) => Show (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

showsPrec :: Int -> DMapV k v g -> ShowS

show :: DMapV k v g -> String

showList :: [DMapV k v g] -> ShowS

Generic (DMapV k v g)

Defined in Data.Vessel.DependentMap

Associated Types

type Rep (DMapV k v g) :: Type -> Type

Methods

from :: DMapV k v g -> Rep (DMapV k v g) x

to :: Rep (DMapV k v g) x -> DMapV k v g

(GCompare k, Has' Semigroup k (Compose g v)) => Semigroup (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

(<>) :: DMapV k v g -> DMapV k v g -> DMapV k v g

sconcat :: NonEmpty (DMapV k v g) -> DMapV k v g

stimes :: Integral b => b -> DMapV k v g -> DMapV k v g

(GCompare k, Has' Semigroup k (Compose g v), Has' Monoid k (Compose g v)) => Monoid (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

mempty :: DMapV k v g

mappend :: DMapV k v g -> DMapV k v g -> DMapV k v g

mconcat :: [DMapV k v g] -> DMapV k v g

(Has' ToJSON k (Compose g v), ForallF ToJSON k) => ToJSON (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

toJSON :: DMapV k v g -> Value

toEncoding :: DMapV k v g -> Encoding

toJSONList :: [DMapV k v g] -> Value

toEncodingList :: [DMapV k v g] -> Encoding

(Has' FromJSON k (Compose g v), FromJSON (Some k), GCompare k) => FromJSON (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

parseJSON :: Value -> Parser (DMapV k v g)

parseJSONList :: Value -> Parser [DMapV k v g]

(GCompare k, Has' Semigroup k (Compose g v), Has' Monoid k (Compose g v), Has' Group k (Compose g v)) => Group (DMapV k v g)

Defined in Data.Vessel.DependentMap

Methods

negateG :: DMapV k v g -> DMapV k v g

(~~) :: DMapV k v g -> DMapV k v g -> DMapV k v g

(GCompare k, Has' Semigroup k (Compose g v), Has' Monoid k (Compose g v), Has' Group k (Compose g v), Has' Additive k (Compose g v)) => Additive (DMapV k v g)

Defined in Data.Vessel.DependentMap

type Selection (DMapV k v) (Set (Some k))

Defined in Data.Vessel.DependentMap

type Selection (DMapV k v) (Set (Some k)) = MonoidalDMap k v

type Rep (DMapV k v g)

Defined in Data.Vessel.DependentMap

type Rep (DMapV k v g) = D1 (MetaData "DMapV" "Data.Vessel.DependentMap" "vessel-0.2.0.0-inplace" True) (C1 (MetaCons "DMapV" PrefixI True) (S1 (MetaSel (Just "unDMapV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (MonoidalDMap k (Compose g v)))))