Data.Vessel.Vessel

Documentation

newtype Vessel (k :: ((* -> *) -> *) -> *) (g :: * -> *)

This type is a container for storing an arbitrary collection of functor-parametric container types of the sort discussed above, keyed by a GADT whose index will specify which sort of container goes in each position.

Ordinary types with values have kind * Functors have kind * -> * Containers taking a functor as a parameter then have kind (* -> *) -> * The keys of a vessel are indexed by a functor-parametric container type, so they have kind ((* -> *) -> *) -> * Vessel itself, for any such key type, produces a functor-parametric container, so it has kind (((* -> *) -> *) -> *) -> (* -> *) -> * Law: None of the items in the Vessel's MonoidalDMap are nullV

Constructors

Vessel

Fields

• unVessel :: MonoidalDMap k (FlipAp g)

Instances

(Has View k, GCompare k) => EmptyView (Vessel k)

Defined in Data.Vessel.Vessel

Methods

emptyV :: Vessel k f

(Has View k, GCompare k) => View (Vessel k)

Defined in Data.Vessel.Vessel

Methods

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

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

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

nullV :: Vessel k i -> Bool

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

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

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

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

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

(GCompare k, Has' Eq k (FlipAp g)) => Eq (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

(==) :: Vessel k g -> Vessel k g -> Bool

(/=) :: Vessel k g -> Vessel k g -> Bool

(ForallF Show k, GShow k, Has' Show k (FlipAp g)) => Show (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

showsPrec :: Int -> Vessel k g -> ShowS

show :: Vessel k g -> String

showList :: [Vessel k g] -> ShowS

Generic (Vessel k g)

Defined in Data.Vessel.Vessel

Associated Types

type Rep (Vessel k g) :: Type -> Type

Methods

from :: Vessel k g -> Rep (Vessel k g) x

to :: Rep (Vessel k g) x -> Vessel k g

(Has' Semigroup k (FlipAp g), GCompare k, Has View k) => Semigroup (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

(<>) :: Vessel k g -> Vessel k g -> Vessel k g

sconcat :: NonEmpty (Vessel k g) -> Vessel k g

stimes :: Integral b => b -> Vessel k g -> Vessel k g

(Has' Semigroup k (FlipAp g), GCompare k, Has View k) => Monoid (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

mempty :: Vessel k g

mappend :: Vessel k g -> Vessel k g -> Vessel k g

mconcat :: [Vessel k g] -> Vessel k g

(GCompare k, ForallF ToJSON k, HasV ToJSON k g) => ToJSON (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

toJSON :: Vessel k g -> Value

toEncoding :: Vessel k g -> Encoding

toJSONList :: [Vessel k g] -> Value

toEncodingList :: [Vessel k g] -> Encoding

(GCompare k, FromJSON (Some k), HasV FromJSON k g, Has View k) => FromJSON (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

parseJSON :: Value -> Parser (Vessel k g)

parseJSONList :: Value -> Parser [Vessel k g]

(Has' Semigroup k (FlipAp g), Has' Group k (FlipAp g), GCompare k, Has View k) => Group (Vessel k g)

Defined in Data.Vessel.Vessel

Methods

negateG :: Vessel k g -> Vessel k g

(~~) :: Vessel k g -> Vessel k g -> Vessel k g

(Has' Additive k (FlipAp g), Has' Semigroup k (FlipAp g), GCompare k, Has View k) => Additive (Vessel k g)

Defined in Data.Vessel.Vessel

(Has View k, GCompare k, Has' Semigroup k (FlipAp (Compose c (VesselLeafWrapper (QueryResult (Vessel k g))))), Query (Vessel k g)) => Query (Vessel k (Compose c g))

Defined in Data.Vessel.Vessel

Associated Types

type QueryResult (Vessel k (Compose c g)) :: Type

Methods

crop :: Vessel k (Compose c g) -> QueryResult (Vessel k (Compose c g)) -> QueryResult (Vessel k (Compose c g))

(Has View k, GCompare k, Has' Semigroup k (FlipAp Identity)) => Query (Vessel k (Proxy :: Type -> Type))

Defined in Data.Vessel.Vessel

Associated Types

type QueryResult (Vessel k Proxy) :: Type

Methods

crop :: Vessel k Proxy -> QueryResult (Vessel k Proxy) -> QueryResult (Vessel k Proxy)

(Has View k, GCompare k, Has' Semigroup k (FlipAp Identity)) => Query (Vessel k (Const x :: Type -> Type))

Defined in Data.Vessel.Vessel

Associated Types

type QueryResult (Vessel k (Const x)) :: Type

Methods

crop :: Vessel k (Const x) -> QueryResult (Vessel k (Const x)) -> QueryResult (Vessel k (Const x))

type ViewQueryResult (Vessel v g :: Type)

Defined in Data.Vessel.Vessel

type ViewQueryResult (Vessel v g :: Type) = Vessel v (ViewQueryResult g)

type Rep (Vessel k g)

Defined in Data.Vessel.Vessel

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

type QueryResult (Vessel k (Proxy :: Type -> Type))

Defined in Data.Vessel.Vessel

type QueryResult (Vessel k (Proxy :: Type -> Type)) = Vessel k Identity

type QueryResult (Vessel k (Const x :: Type -> Type))

Defined in Data.Vessel.Vessel

type QueryResult (Vessel k (Const x :: Type -> Type)) = Vessel k Identity

type QueryResult (Vessel k (Compose c g))

Defined in Data.Vessel.Vessel

type QueryResult (Vessel k (Compose c g)) = Vessel k (Compose c (VesselLeafWrapper (QueryResult (Vessel k g))))

type family VesselLeafWrapper v where ...

Equations

VesselLeafWrapper (Vessel k g) = g

toListV :: Vessel k g -> [VSum k g]

fromListV :: (GCompare k, Has View k) => [VSum k g] -> Vessel k g

intersectionMaybeWithKeyV :: (GCompare k, Has View k) => (forall v. View v => k v -> v g -> v g' -> Maybe (v h)) -> Vessel k g -> Vessel k g' -> Vessel k h

traverseWithKeyV :: (GCompare k, Has View k, Applicative m) => (forall v. View v => k v -> v g -> m (v h)) -> Vessel k g -> m (Vessel k h)

traverseWithKeyV_ :: (GCompare k, Has View k, Applicative m) => (forall v. View v => k v -> v g -> m ()) -> Vessel k g -> m ()

buildV :: (GCompare k, Has View k, Applicative m) => Vessel k g -> (forall v. k v -> v g -> m (v h)) -> m (Vessel k h)

intersectionWithKeyV :: (GCompare k, Has View k) => (forall v. View v => k v -> v g -> v g' -> v h) -> Vessel k g -> Vessel k g' -> Vessel k h

singletonV :: View v => k v -> v g -> Vessel k g

lookupV :: GCompare k => k v -> Vessel k g -> Maybe (v g)

mapMaybeWithKeyV :: (GCompare k, Has View k) => (forall v. View v => k v -> v g -> Maybe (v g')) -> Vessel k g -> Vessel k g'

intersectionDMapMaybeWithKey :: GCompare k => (forall x. k x -> a x -> b x -> Maybe (c x)) -> MonoidalDMap k a -> MonoidalDMap k b -> MonoidalDMap k c

condenseV' :: forall k t g. (Has View k, GCompare k, Foldable t, Filterable t, Functor t) => DMap k (FlipAp g) -> t (Vessel k g) -> Vessel k (Compose t g)

unionDistinctAscV :: GCompare k => Vessel k g -> Vessel k g -> Vessel k g

splitV :: forall k t g v. (GCompare k, View v, Filterable t) => k v -> t (Vessel k g) -> (t (Vessel k g), t (Vessel k g))

splitOneV :: (GCompare k, View v) => k v -> Vessel k g -> Maybe (These (Vessel k g) (Vessel k g))

splitLTV :: (GCompare k, View v) => k v -> Vessel k g -> (Vessel k g, Vessel k g)

vessel :: (GCompare k, ViewQueryResult (v g) ~ v (ViewQueryResult g), View v, Alternative n, Applicative m) => k v -> ViewMorphism m n (v g) (Vessel k g)

toVessel :: (Applicative m, Alternative n, GCompare k, ViewQueryResult (v g) ~ v (ViewQueryResult g), View v) => k v -> ViewHalfMorphism m n (v g) (Vessel k g)

fromVessel :: (Alternative m, Applicative n, GCompare k, ViewQueryResult (v g) ~ v (ViewQueryResult g), View v) => k v -> ViewHalfMorphism m n (Vessel k g) (v g)

filterNullFlipAps :: (GCompare k, Has View k) => MonoidalDMap k (FlipAp f) -> MonoidalDMap k (FlipAp f)