Data.Vessel.Single

Documentation

newtype SingleV (a :: *) (g :: * -> *)

A functor-indexed container for a single deletable item.

Constructors

SingleV

Fields

• unSingleV :: g (First (Maybe a))

Instances

View (SingleV a)

Defined in Data.Vessel.Single

Methods

condenseV :: (Foldable t, Filterable t, Functor t) => t (SingleV a g) -> SingleV a (Compose t g)

disperseV :: Align t => SingleV a (Compose t g) -> t (SingleV a g)

cropV :: (forall a0. s a0 -> i a0 -> r a0) -> SingleV a s -> SingleV a i -> Maybe (SingleV a r)

nullV :: SingleV a i -> Bool

mapV :: (forall a0. f a0 -> g a0) -> SingleV a f -> SingleV a g

traverseV :: Applicative m => (forall a0. f a0 -> m (g a0)) -> SingleV a f -> m (SingleV a g)

mapMaybeV :: (forall a0. f a0 -> Maybe (g a0)) -> SingleV a f -> Maybe (SingleV a g)

alignWithMaybeV :: (forall a0. These (f a0) (g a0) -> Maybe (h a0)) -> SingleV a f -> SingleV a g -> Maybe (SingleV a h)

alignWithV :: (forall a0. These (f a0) (g a0) -> h a0) -> SingleV a f -> SingleV a g -> SingleV a h

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

Eq (g (First (Maybe a))) => Eq (SingleV a g)

Defined in Data.Vessel.Single

Methods

(==) :: SingleV a g -> SingleV a g -> Bool

(/=) :: SingleV a g -> SingleV a g -> Bool

Ord (g (First (Maybe a))) => Ord (SingleV a g)

Defined in Data.Vessel.Single

Methods

compare :: SingleV a g -> SingleV a g -> Ordering

(<) :: SingleV a g -> SingleV a g -> Bool

(<=) :: SingleV a g -> SingleV a g -> Bool

(>) :: SingleV a g -> SingleV a g -> Bool

(>=) :: SingleV a g -> SingleV a g -> Bool

max :: SingleV a g -> SingleV a g -> SingleV a g

min :: SingleV a g -> SingleV a g -> SingleV a g

Read (g (First (Maybe a))) => Read (SingleV a g)

Defined in Data.Vessel.Single

Methods

readsPrec :: Int -> ReadS (SingleV a g)

readList :: ReadS [SingleV a g]

readPrec :: ReadPrec (SingleV a g)

readListPrec :: ReadPrec [SingleV a g]

Show (g (First (Maybe a))) => Show (SingleV a g)

Defined in Data.Vessel.Single

Methods

showsPrec :: Int -> SingleV a g -> ShowS

show :: SingleV a g -> String

showList :: [SingleV a g] -> ShowS

Generic (SingleV a g)

Defined in Data.Vessel.Single

Associated Types

type Rep (SingleV a g) :: Type -> Type

Methods

from :: SingleV a g -> Rep (SingleV a g) x

to :: Rep (SingleV a g) x -> SingleV a g

Semigroup (g (First (Maybe a))) => Semigroup (SingleV a g)

Defined in Data.Vessel.Single

Methods

(<>) :: SingleV a g -> SingleV a g -> SingleV a g

sconcat :: NonEmpty (SingleV a g) -> SingleV a g

stimes :: Integral b => b -> SingleV a g -> SingleV a g

Monoid (g (First (Maybe a))) => Monoid (SingleV a g)

Defined in Data.Vessel.Single

Methods

mempty :: SingleV a g

mappend :: SingleV a g -> SingleV a g -> SingleV a g

mconcat :: [SingleV a g] -> SingleV a g

ToJSON (g (First (Maybe a))) => ToJSON (SingleV a g)

Defined in Data.Vessel.Single

Methods

toJSON :: SingleV a g -> Value

toEncoding :: SingleV a g -> Encoding

toJSONList :: [SingleV a g] -> Value

toEncodingList :: [SingleV a g] -> Encoding

FromJSON (g (First (Maybe a))) => FromJSON (SingleV a g)

Defined in Data.Vessel.Single

Methods

parseJSON :: Value -> Parser (SingleV a g)

parseJSONList :: Value -> Parser [SingleV a g]

Group (g (First (Maybe a))) => Group (SingleV a g)

Defined in Data.Vessel.Single

Methods

negateG :: SingleV a g -> SingleV a g

(~~) :: SingleV a g -> SingleV a g -> SingleV a g

Additive (g (First (Maybe a))) => Additive (SingleV a g)

Defined in Data.Vessel.Single

type Selection (SingleV a) ()

Defined in Data.Vessel.Single

type Selection (SingleV a) () = Maybe a

type ViewQueryResult (SingleV a (Const g :: Type -> Type) :: Type)

Defined in Data.Vessel.Single

type ViewQueryResult (SingleV a (Const g :: Type -> Type) :: Type) = SingleV a Identity

type Rep (SingleV a g)

Defined in Data.Vessel.Single

type Rep (SingleV a g) = D1 (MetaData "SingleV" "Data.Vessel.Single" "vessel-0.2.0.0-inplace" True) (C1 (MetaCons "SingleV" PrefixI True) (S1 (MetaSel (Just "unSingleV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (g (First (Maybe a))))))

lookupSingleV :: SingleV a Identity -> Maybe a

singleV :: (Applicative m, Applicative n) => ViewMorphism m n (Const g (Maybe a)) (SingleV a (Const g))

toSingleV :: (Applicative m, Applicative n) => ViewHalfMorphism m n (Const g (Maybe a)) (SingleV a (Const g))

fromSingleV :: (Applicative m, Applicative n) => ViewHalfMorphism m n (SingleV a (Const g)) (Const g (Maybe a))

handleSingleVSelector :: forall a f g m. Functor m => (forall x. x -> f x -> g x) -> m (First (Maybe a)) -> SingleV a f -> m (SingleV a g)

A gadget to "traverse" over a SingleV

mapSingleV :: (f (First (Maybe a)) -> g (First (Maybe a))) -> SingleV a f -> SingleV a g

Non-existentialized mapV; since the contained value is known