Data.Vessel.SubVessel

Documentation

data SubVesselKey k (f :: (* -> *) -> *) (g :: (* -> *) -> *) where

Constructors

SubVesselKey :: k -> SubVesselKey k f f

Instances

FromJSON k => FromJSON (Some (SubVesselKey k v))

Defined in Data.Vessel.SubVessel

Methods

parseJSON :: Value -> Parser (Some (SubVesselKey k v))

parseJSONList :: Value -> Parser [Some (SubVesselKey k v)]

ArgDict (c :: ((Type -> Type) -> Type) -> Constraint) (SubVesselKey k f :: ((Type -> Type) -> Type) -> Type)

Defined in Data.Vessel.SubVessel

Associated Types

type ConstraintsFor (SubVesselKey k f) c

Methods

argDict :: forall (a :: k0). ConstraintsFor (SubVesselKey k f) c => SubVesselKey k f a -> Dict (c a)

Ord k => GCompare (SubVesselKey k v :: ((Type -> Type) -> Type) -> Type)

Defined in Data.Vessel.SubVessel

Methods

gcompare :: forall (a :: k0) (b :: k0). SubVesselKey k v a -> SubVesselKey k v b -> GOrdering a b

Eq k => GEq (SubVesselKey k v :: ((Type -> Type) -> Type) -> Type)

Defined in Data.Vessel.SubVessel

Methods

geq :: forall (a :: k0) (b :: k0). SubVesselKey k v a -> SubVesselKey k v b -> Maybe (a :~: b)

Show k => GShow (SubVesselKey k f :: ((Type -> Type) -> Type) -> Type)

Defined in Data.Vessel.SubVessel

Methods

gshowsPrec :: forall (a :: k0). Int -> SubVesselKey k f a -> ShowS

Show k => Show (SubVesselKey k f g)

Defined in Data.Vessel.SubVessel

Methods

showsPrec :: Int -> SubVesselKey k f g -> ShowS

show :: SubVesselKey k f g -> String

showList :: [SubVesselKey k f g] -> ShowS

ToJSON k => ToJSON (SubVesselKey k f g)

Defined in Data.Vessel.SubVessel

Methods

toJSON :: SubVesselKey k f g -> Value

toEncoding :: SubVesselKey k f g -> Encoding

toJSONList :: [SubVesselKey k f g] -> Value

toEncodingList :: [SubVesselKey k f g] -> Encoding

type ConstraintsFor (SubVesselKey k f :: ((Type -> Type) -> Type) -> Type) (c :: ((Type -> Type) -> Type) -> Constraint)

Defined in Data.Vessel.SubVessel

type ConstraintsFor (SubVesselKey k f :: ((Type -> Type) -> Type) -> Type) (c :: ((Type -> Type) -> Type) -> Constraint) = c f

newtype SubVessel (k :: *) (v :: (* -> *) -> *) (f :: * -> *)

Something between MapV and Vessel, where the keys are simple values, but the values are full views.

TODO: this representation has the advantage that all of it's instances come "free", but the mostly "right" representation is probably ... Vessel v (Compose (MonoidalMap k) f)

Constructors

SubVessel

Fields

• unSubVessel :: Vessel (SubVesselKey k v) f

Instances

(Ord k, View v) => EmptyView (SubVessel k v)

Defined in Data.Vessel.SubVessel

Methods

emptyV :: forall (f :: Type -> Type). SubVessel k v f

(Ord k, View v) => View (SubVessel k v)

Defined in Data.Vessel.SubVessel

Methods

condenseV :: forall t (g :: Type -> Type). (Foldable t, Filterable t, Functor t) => t (SubVessel k v g) -> SubVessel k v (Compose t g)

disperseV :: forall t (g :: Type -> Type). Align t => SubVessel k v (Compose t g) -> t (SubVessel k v g)

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

nullV :: forall (i :: Type -> Type). SubVessel k v i -> Bool

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

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

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

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

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

(Ord k, Eq (v f)) => Eq (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

(==) :: SubVessel k v f -> SubVessel k v f -> Bool

(/=) :: SubVessel k v f -> SubVessel k v f -> Bool

(Show k, Show (v f)) => Show (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

showsPrec :: Int -> SubVessel k v f -> ShowS

show :: SubVessel k v f -> String

showList :: [SubVessel k v f] -> ShowS

Generic (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Associated Types

type Rep (SubVessel k v f) :: Type -> Type

Methods

from :: SubVessel k v f -> Rep (SubVessel k v f) x

to :: Rep (SubVessel k v f) x -> SubVessel k v f

(Semigroup (v f), Ord k, View v) => Semigroup (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

(<>) :: SubVessel k v f -> SubVessel k v f -> SubVessel k v f

sconcat :: NonEmpty (SubVessel k v f) -> SubVessel k v f

stimes :: Integral b => b -> SubVessel k v f -> SubVessel k v f

(Semigroup (v f), Ord k, View v) => Monoid (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

mempty :: SubVessel k v f

mappend :: SubVessel k v f -> SubVessel k v f -> SubVessel k v f

mconcat :: [SubVessel k v f] -> SubVessel k v f

(Ord k, ToJSON k, ToJSON (v f)) => ToJSON (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

toJSON :: SubVessel k v f -> Value

toEncoding :: SubVessel k v f -> Encoding

toJSONList :: [SubVessel k v f] -> Value

toEncodingList :: [SubVessel k v f] -> Encoding

(Ord k, FromJSON k, FromJSON (v f), View v) => FromJSON (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

parseJSON :: Value -> Parser (SubVessel k v f)

parseJSONList :: Value -> Parser [SubVessel k v f]

(Ord k, View v, Group (v f)) => Group (SubVessel k v f)

Defined in Data.Vessel.SubVessel

Methods

negateG :: SubVessel k v f -> SubVessel k v f

(~~) :: SubVessel k v f -> SubVessel k v f -> SubVessel k v f

(Semigroup (v f), Ord k, View v) => Additive (SubVessel k v f)

Defined in Data.Vessel.SubVessel

(Ord k, View v, Query (Vessel (SubVesselKey k v) g), Semigroup (v (Compose c (VesselLeafWrapper (QueryResult (Vessel (SubVesselKey k v) g)))))) => Query (SubVessel k v (Compose c g))

Defined in Data.Vessel.SubVessel

Associated Types

type QueryResult (SubVessel k v (Compose c g))

Methods

crop :: SubVessel k v (Compose c g) -> QueryResult (SubVessel k v (Compose c g)) -> QueryResult (SubVessel k v (Compose c g))

(Ord k, Semigroup (v Identity), View v) => Query (SubVessel k v (Proxy :: Type -> Type))

Defined in Data.Vessel.SubVessel

Associated Types

type QueryResult (SubVessel k v Proxy)

Methods

crop :: SubVessel k v Proxy -> QueryResult (SubVessel k v Proxy) -> QueryResult (SubVessel k v Proxy)

(Ord k, Semigroup (v Identity), View v) => Query (SubVessel k v (Const x :: Type -> Type))

Defined in Data.Vessel.SubVessel

Associated Types

type QueryResult (SubVessel k v (Const x))

Methods

crop :: SubVessel k v (Const x) -> QueryResult (SubVessel k v (Const x)) -> QueryResult (SubVessel k v (Const x))

type ViewQueryResult (SubVessel k v g :: Type)

Defined in Data.Vessel.SubVessel

type ViewQueryResult (SubVessel k v g :: Type) = SubVessel k v (ViewQueryResult g)

type Rep (SubVessel k v f)

Defined in Data.Vessel.SubVessel

type Rep (SubVessel k v f) = D1 ('MetaData "SubVessel" "Data.Vessel.SubVessel" "vessel-0.1.0.0-L81NXpc2nSw1m63K9xevMw" 'True) (C1 ('MetaCons "SubVessel" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSubVessel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vessel (SubVesselKey k v) f))))

type QueryResult (SubVessel k v (Compose c g))

Defined in Data.Vessel.SubVessel

type QueryResult (SubVessel k v (Compose c g)) = SubVessel k v (Compose c (VesselLeafWrapper (QueryResult (Vessel (SubVesselKey k v) g))))

type QueryResult (SubVessel k v (Proxy :: Type -> Type))

Defined in Data.Vessel.SubVessel

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

type QueryResult (SubVessel k v (Const x :: Type -> Type))

Defined in Data.Vessel.SubVessel

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

getSubVessel :: Ord k => SubVessel k v f -> MonoidalMap k (v f)

mkSubVessel :: Ord k => MonoidalMap k (v f) -> SubVessel k v f

traverseSubVessel :: (Ord k, View v, Applicative m) => (k -> v g -> m (v h)) -> SubVessel k v g -> m (SubVessel k v h)

singletonSubVessel :: forall k f v. View v => k -> v f -> SubVessel k v f

lookupSubVessel :: Ord k => k -> SubVessel k v f -> Maybe (v f)

subVesselFromKeys :: (Ord k, View v) => (k -> v f) -> Set k -> SubVessel k v f

subVessel :: (Ord k, View v, ViewQueryResult (v g) ~ v (ViewQueryResult g), Alternative n, Applicative m) => k -> ViewMorphism m n (v g) (SubVessel k v g)

toSubVessel :: (Ord k, Applicative m, Alternative n, View v, ViewQueryResult (v g) ~ v (ViewQueryResult g)) => k -> ViewHalfMorphism m n (v g) (SubVessel k v g)

fromSubVessel :: (Ord k, Alternative m, Applicative n, View v, ViewQueryResult (v g) ~ v (ViewQueryResult g)) => k -> ViewHalfMorphism m n (SubVessel k v g) (v g)

subVesselWildcard :: (Ord k, View v, ViewQueryResult (v g) ~ v (ViewQueryResult g), Semigroup (v g), Semigroup (v (ViewQueryResult g)), Alternative n, Applicative m) => ViewMorphism m n (v g) (SubVessel k v g)

toSubVesselWildcard :: (Ord k, Applicative m, Alternative n, View v, ViewQueryResult (v g) ~ v (ViewQueryResult g), Semigroup (v (ViewQueryResult g))) => ViewHalfMorphism m n (v g) (SubVessel k v g)

fromSubVesselWildcard :: (Ord k, Alternative m, Applicative n, Semigroup (v g)) => ViewHalfMorphism m n (SubVessel k v g) (v g)

subVessels :: (Ord k, Applicative m, View v, Alternative n, ViewQueryResult (v g) ~ v (ViewQueryResult g), Monoid (n (v g)), Monoid (n (v (ViewQueryResult g)))) => Set k -> ViewMorphism m n (v g) (SubVessel k v g)

toSubVessels :: (Ord k, Applicative m, View v, Alternative n, ViewQueryResult (v g) ~ v (ViewQueryResult g), Monoid (n (v (ViewQueryResult g)))) => Set k -> ViewHalfMorphism m n (v g) (SubVessel k v g)

fromSubVessels :: (Ord k, Applicative m, View v, Alternative n, ViewQueryResult (v g) ~ v (ViewQueryResult g), Monoid (n (v g))) => Set k -> ViewHalfMorphism n m (SubVessel k v g) (v g)

mapMaybeWithKeySubVessel :: forall k v (g :: * -> *) (g' :: * -> *). (View v, Ord k) => (k -> v g -> Maybe (v g')) -> SubVessel k v g -> SubVessel k v g'

uncurrySubVessel :: (Ord k1, Ord k2) => MonoidalMap k1 (SubVessel k2 v f) -> SubVessel (k1, k2) v f

currySubVessel :: (Ord k1, Ord k2) => SubVessel (k1, k2) v f -> MonoidalMap k1 (SubVessel k2 v f)

condenseVMMap :: forall k v g. View v => MonoidalMap k (v g) -> v (Compose (MonoidalMap k) g)

the instance for Filterable (MonoidalMap k) is not defined anyplace conveninent, this sidesteps it for this particular case.

handleSubVesselSelector :: forall k m tag (f :: * -> *) (g :: * -> *). (Ord k, Applicative m, Has View tag, GCompare tag) => (forall v. tag v -> MonoidalMap k (v f) -> m (MonoidalMap k (v g))) -> SubVessel k (Vessel tag) f -> m (SubVessel k (Vessel tag) g)

A gadget to "traverse" over all of the keys in a SubVessel in one step

handleSubSubVesselSelector :: (Ord k1, Ord k2, Applicative m, Has View tag, GCompare tag) => (forall v. tag v -> MonoidalMap (k1, k2) (v f) -> m (MonoidalMap (k1, k2) (v g))) -> MonoidalMap k1 (SubVessel k2 (Vessel tag) f) -> m (MonoidalMap k1 (SubVessel k2 (Vessel tag) g))

A gadget to "traverse" over all of the keys in a SubVessel, aligned to the keys nested inside a deeper Map, in one step