| Copyright | (C) CSIRO 2017-2019 |
|---|---|
| License | BSD3 |
| Maintainer | Isaac Elliott <isaace71295@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Python.Optics.Validated
Description
Synopsis
- class Validated (s :: [*] -> * -> *) where
- unvalidated :: Getter (s v a) (s '[] a)
Documentation
class Validated (s :: [*] -> * -> *) where Source #
A type class for things for which we can strip the validation information. This can help types line up when they need to, for example to put many things of various validation statuses together in a list.
Minimal complete definition
Nothing
Methods
unvalidated :: Getter (s v a) (s '[] a) Source #
unvalidated :: Coercible (s v a) (s '[] a) => Getter (s v a) (s '[] a) Source #