hypertypes-0.1.0.2: Typed ASTs
Safe HaskellNone
LanguageHaskell2010

Hyper.Class.Optic

Documentation

class HNodeLens s a where Source #

Methods

hNodeLens :: Lens' (s # h) (h # a) Source #

Instances

Instances details
HNodeLens (ANode c) c Source # 
Instance details

Defined in Hyper.Combinator.ANode

Methods

hNodeLens :: forall (h :: HyperType). Lens' (ANode c # h) (h # c) Source #

class HSubset s t a b where Source #

Methods

hSubset :: Prism (s # h) (t # h) (a # h) (b # h) Source #

type HSubset' s a = HSubset s s a a Source #