Data.Vessel.Selectable

Documentation

class Selectable v k where

Associated Types

type Selection v k

A more convenient type to use for extracting results.

Methods

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

Build a query given a suitable value for specifying what we're asking for. p will typically be Proxy or Const SelectedCount.

selection :: k -> v Identity -> Selection v k

From a view, extract a more convenient type of value to use.

Instances

Selectable (SingleV a) ()

Defined in Data.Vessel.Single

Associated Types

type Selection (SingleV a) () :: Type

Methods

selector :: (forall a0. p a0) -> () -> SingleV a p

selection :: () -> SingleV a Identity -> Selection (SingleV a) ()

Selectable (IdentityV a) ()

Defined in Data.Vessel.Identity

Associated Types

type Selection (IdentityV a) () :: Type

Methods

selector :: (forall a0. p a0) -> () -> IdentityV a p

selection :: () -> IdentityV a Identity -> Selection (IdentityV a) ()

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))

Ord k => Selectable (MapV k v) (Identity k)

Defined in Data.Vessel.Map

Associated Types

type Selection (MapV k v) (Identity k) :: Type

Methods

selector :: (forall a. p a) -> Identity k -> MapV k v p

selection :: Identity k -> MapV k v Identity -> Selection (MapV k v) (Identity k)

Ord k => Selectable (MapV k v) (Set k)

Defined in Data.Vessel.Map

Associated Types

type Selection (MapV k v) (Set k) :: Type

Methods

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

selection :: Set k -> MapV k v Identity -> Selection (MapV k v) (Set k)