camfort-0.700: CamFort - Cambridge Fortran infrastructure
Traverse
extendBi :: (Biplate (from a) (to a), RComonad to) => (to a -> a) -> from a -> from a Source
reduceCollect :: (Data s, Data t, Uniplate t, Biplate t s) => (s -> Maybe a) -> t -> [a] Source
everywhere :: (Zipper a -> Zipper a) -> Zipper a -> Zipper a Source
zfmap :: Data a => (a -> a) -> Zipper (d a) -> Zipper (d a) Source
extendBi' :: (Biplate (from a) (to a), Comonad to) => (to a -> a) -> from a -> from a Source
class RComonad t where Source
Methods
rextract :: t a -> a Source
rextend :: (t a -> a) -> t a -> t a Source
Instances
class RFunctor t where Source
rfmap :: (a -> a) -> t a -> t a Source
class Refill d where Source
refill :: d a -> a -> d a Source
annotation :: Tagged g => g a -> a Source