Copyright | (c) Fumiaki Kinoshita 2015 |
---|---|
License | BSD3 |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
The extensible data types should take k -> *
as a parameter.
This class allows us to take a shortcut for direct representation.
Nothing
_WrapperAs :: (Functor f, Profunctor p, Wrapper h) => proxy v -> Optic' p f (h v) (Repr h v) Source
Restricted version of _Wrapper
.
It is useful for eliminating ambiguousness.
Poly-kinded Const
Poly-kinded composition