| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Diverse.Lens.Which
- facet :: AsFacet a s => Prism' s a
- facetL :: AsFacetL l a s => Prism' s a
- facetTag :: AsFacetTag l a s => Prism' s a
- genericFacetTag :: forall l a s proxy. AsConstructor l s s a a => proxy l -> Prism' s a
- facetN :: AsFacetN n a s => Prism' s a
- inject :: AsInject as ss a s => Prism' s a
- injectL :: AsInjectL ls as ss a s => Prism' s a
- injectN :: AsInjectN ns as ss a s => Prism' s a
Single type
Prism
facet :: AsFacet a s => Prism' s a Source #
Make it easy to create an instance of AsFacet using Typed
genericFacetTag :: forall l a s proxy. AsConstructor l s s a a => proxy l -> Prism' s a Source #
Make it easy to create an instance of AsFacetTag using Constructors
NB. This is not a default signature for AsFacetTag, as this makes GHC think that l must be type Symbol, when actually l can be any kind k