Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype SingleV (a :: *) (g :: * -> *) = SingleV {}
- 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)
- mapSingleV :: (f (First (Maybe a)) -> g (First (Maybe a))) -> SingleV a f -> SingleV a g
Documentation
newtype SingleV (a :: *) (g :: * -> *) Source #
A functor-indexed container for a single deletable item.
Instances
singleV :: (Applicative m, Applicative n) => ViewMorphism m n (Const g (Maybe a)) (SingleV a (Const g)) Source #
toSingleV :: (Applicative m, Applicative n) => ViewHalfMorphism m n (Const g (Maybe a)) (SingleV a (Const g)) Source #
fromSingleV :: (Applicative m, Applicative n) => ViewHalfMorphism m n (SingleV a (Const g)) (Const g (Maybe a)) Source #