Hyper.Combinator.Ann
data Ann a h Source #
Constructors
Fields
Defined in Hyper.Combinator.Ann
Methods
recursively :: proxy (c (Ann a)) -> Dict (c (Ann a), HNodesConstraint (Ann a) (Recursively c)) Source #
hzip :: forall (p :: HyperType) (q :: HyperType). (Ann a # p) -> (Ann a # q) -> Ann a # (p :*: q) Source #
Defined in Hyper.Class.Context
hcontext :: forall (p :: HyperType). (Ann a # p) -> Ann a # (HFunc p (Const (Ann a # p)) :*: p) Source #
hfoldMap :: Monoid a0 => (forall (n :: HyperType). HWitness (Ann a) n -> (p # n) -> a0) -> (Ann a # p) -> a0 Source #
hmap :: (forall (n :: HyperType). HWitness (Ann a) n -> (p # n) -> q # n) -> (Ann a # p) -> Ann a # q Source #
Associated Types
type HNodesConstraint (Ann a) c Source #
type HWitnessType (Ann a) :: HyperType -> Type Source #
hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (Ann a) c => HWitness (Ann a) n -> Proxy c -> (c n => r) -> r Source #
hpure :: (forall (n :: HyperType). HWitness (Ann a) n -> p # n) -> Ann a # p Source #
recursiveHNodes :: RecMethod RNodes (Ann a) Source #
recursiveHTraversable :: RecMethod RTraversable (Ann a) Source #
hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (Ann a # ContainedH f p) -> f (Ann a # p) Source #
type Rep (Ann a h) :: Type -> Type #
from :: Ann a h -> Rep (Ann a h) x #
to :: Rep (Ann a h) x -> Ann a h #
showsPrec :: Int -> Ann a h -> ShowS #
show :: Ann a h -> String #
showList :: [Ann a h] -> ShowS #
put :: Ann a h -> Put #
get :: Get (Ann a h) #
putList :: [Ann a h] -> Put #
rnf :: Ann a h -> () #
(==) :: Ann a h -> Ann a h -> Bool #
(/=) :: Ann a h -> Ann a h -> Bool #
compare :: Ann a h -> Ann a h -> Ordering #
(<) :: Ann a h -> Ann a h -> Bool #
(<=) :: Ann a h -> Ann a h -> Bool #
(>) :: Ann a h -> Ann a h -> Bool #
(>=) :: Ann a h -> Ann a h -> Bool #
max :: Ann a h -> Ann a h -> Ann a h #
min :: Ann a h -> Ann a h -> Ann a h #
hcontext :: forall (p :: HyperType). (HFlip Ann h # p) -> HFlip Ann h # (HFunc p (Const (HFlip Ann h # p)) :*: p) Source #
hfoldMap :: Monoid a => (forall (n :: HyperType). HWitness (HFlip Ann h) n -> (p # n) -> a) -> (HFlip Ann h # p) -> a Source #
hmap :: (forall (n :: HyperType). HWitness (HFlip Ann h) n -> (p # n) -> q # n) -> (HFlip Ann h # p) -> HFlip Ann h # q Source #
type HNodesConstraint (HFlip Ann h) c Source #
type HWitnessType (HFlip Ann h) :: HyperType -> Type Source #
hLiftConstraint :: forall c (n :: HyperType) r. HNodesConstraint (HFlip Ann h) c => HWitness (HFlip Ann h) n -> Proxy c -> (c n => r) -> r Source #
hsequence :: forall f (p :: AHyperType -> Type). Applicative f => (HFlip Ann h # ContainedH f p) -> f (HFlip Ann h # p) Source #
hAnn :: forall a h. Lens' (Ann a h) (a h) Source #
hVal :: forall a h. Lens' (Ann a h) ((:#) h (Ann a)) Source #
type Annotated a = Ann (Const a) Source #
annotation :: Lens' (Annotated a # h) a Source #
annValue :: Lens (Annotated a # h0) (Annotated a # h1) (h0 # Annotated a) (h1 # Annotated a) Source #
Polymorphic lens to an Annotated value
Annotated