Safe Haskell	None
Language	Haskell2010

Cubix.Sin.Compdata.Annotation

Documentation

class Annotated a (f :: Node) | f -> a where Source #

Methods

getAnn' :: forall (e :: Family) l. f e l -> a Source #

Instances details

(Annotated a f, All (Annotated a) fs) => Annotated a (Sum (f ': fs)) Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods getAnn' :: forall (e :: Family) l. Sum (f ': fs) e l -> a Source #
Annotated a (f :&: a) Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods getAnn' :: forall (e :: Family) l. (f :&: a) e l -> a Source #

getAnn :: forall a (f :: Node). Annotated a f => HFix f :=> a Source #

Methods

annM :: forall f (e :: Family) l. f e l -> m ((f :&: a) e l) Source #

Instances details

Default a => MonadAnnotater a AnnotateDefault Source #	Specializing annotation to Maybe a to aid instance selection
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods annM :: forall f (e :: Family) l. f e l -> AnnotateDefault ((f :&: a) e l) Source #
(MonadAnnotater a m, MonadTrans t, Monad (t m)) => MonadAnnotater a (t m) Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods annM :: forall f (e :: Family) l. f e l -> t m ((f :&: a) e l) Source #
(Monad m, HasLabelGen s) => MonadAnnotater Label (StateT s m) Source #
Instance details Defined in Cubix.Language.Info Methods annM :: forall f (e :: Family) l. f e l -> StateT s m ((f :&: Label) e l) Source #

Instances details

Applicative AnnotateDefault Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods pure :: a -> AnnotateDefault a # (<>) :: AnnotateDefault (a -> b) -> AnnotateDefault a -> AnnotateDefault b # liftA2 :: (a -> b -> c) -> AnnotateDefault a -> AnnotateDefault b -> AnnotateDefault c # (>) :: AnnotateDefault a -> AnnotateDefault b -> AnnotateDefault b # (<*) :: AnnotateDefault a -> AnnotateDefault b -> AnnotateDefault a #
Functor AnnotateDefault Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods fmap :: (a -> b) -> AnnotateDefault a -> AnnotateDefault b # (<$) :: a -> AnnotateDefault b -> AnnotateDefault a #
Monad AnnotateDefault Source #
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods (>>=) :: AnnotateDefault a -> (a -> AnnotateDefault b) -> AnnotateDefault b # (>>) :: AnnotateDefault a -> AnnotateDefault b -> AnnotateDefault b # return :: a -> AnnotateDefault a #
Default a => MonadAnnotater a AnnotateDefault Source #	Specializing annotation to Maybe a to aid instance selection
Instance details Defined in Cubix.Sin.Compdata.Annotation Methods annM :: forall f (e :: Family) l. f e l -> AnnotateDefault ((f :&: a) e l) Source #

propAnnSigFun :: forall (f :: Fragment) (g :: Family -> Type -> Type) a. SigFun f g -> SigFun (f :&: a) (g :&: a) Source #