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

Documentation

class Validated (s :: [*] -> * -> *) where #

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.

Methods

unvalidated :: Getter (s v a) (s '[] a) #

unvalidated :: Coercible (s v a) (s '[] a) => Getter (s v a) (s '[] a) #

Instances

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