Copyright	(C) CSIRO 2017-2018
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 #

Instances

Validated Ident Source #
Instance details Defined in Language.Python.Syntax.Ident Methods unvalidated :: Getter (Ident v a) (Ident [] a) Source #
Validated Expr Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (Expr v a) (Expr [] a) Source #
Validated TupleItem Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (TupleItem v a) (TupleItem [] a) Source #
Validated SetItem Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (SetItem v a) (SetItem [] a) Source #
Validated ListItem Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (ListItem v a) (ListItem [] a) Source #
Validated DictItem Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (DictItem v a) (DictItem [] a) Source #
Validated Arg Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (Arg v a) (Arg [] a) Source #
Validated Param Source #
Instance details Defined in Language.Python.Syntax.Expr Methods unvalidated :: Getter (Param v a) (Param [] a) Source #
Validated CompoundStatement Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (CompoundStatement v a) (CompoundStatement [] a) Source #
Validated Decorator Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (Decorator v a) (Decorator [] a) Source #
Validated WithItem Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (WithItem v a) (WithItem [] a) Source #
Validated Suite Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (Suite v a) (Suite [] a) Source #
Validated ExceptAs Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (ExceptAs v a) (ExceptAs [] a) Source #
Validated SimpleStatement Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (SimpleStatement v a) (SimpleStatement [] a) Source #
Validated Statement Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (Statement v a) (Statement [] a) Source #
Validated SmallStatement Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (SmallStatement v a) (SmallStatement [] a) Source #
Validated Block Source #
Instance details Defined in Language.Python.Syntax.Statement Methods unvalidated :: Getter (Block v a) (Block [] a) Source #
Validated (ImportAs e) Source #
Instance details Defined in Language.Python.Syntax.Import Methods unvalidated :: Getter (ImportAs e v a) (ImportAs e [] a) Source #