Interface Schema<Values extends HList>

Type Parameters:
Values - the HList of values to focus on
All Superinterfaces:
Applicative<HMap,Lens<HMap,?,Maybe<Values>,Maybe<Values>>>, Contravariant<HMap,Profunctor<?,HMap,Lens<?,?,Maybe<Values>,Maybe<Values>>>>, Functor<HMap,Lens<HMap,?,Maybe<Values>,Maybe<Values>>>, Lens<HMap,HMap,Maybe<Values>,Maybe<Values>>, Lens.Simple<HMap,Maybe<Values>>, Monad<HMap,Lens<HMap,?,Maybe<Values>,Maybe<Values>>>, MonadRec<HMap,Lens<HMap,?,Maybe<Values>,Maybe<Values>>>, Optic<Cartesian<?,?,?>,Functor<?,?>,HMap,HMap,Maybe<Values>,Maybe<Values>>, Optic.Simple<Cartesian<?,?,?>,Functor<?,?>,HMap,Maybe<Values>>, Profunctor<HMap,HMap,Lens<?,?,Maybe<Values>,Maybe<Values>>>

public interface Schema<Values extends HList> extends Lens.Simple<HMap,Maybe<Values>>
A lens that focuses on the heterogeneous list of values pointed at by one or more typesafe keys that must all exist in the same HMap to be collectively extracted. Note that if any of the keys is absent in the map, the result will be Maybe.nothing().
See Also: