camfort-0.802: CamFort - Cambridge Fortran infrastructure

Camfort.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 #

Minimal complete definition

rextract, rextend

Methods

rextract :: t a -> a Source #

rextend :: (t a -> a) -> t a -> t a Source #

Instances

rextract :: Fortran a -> a Source #

rextend :: (Fortran a -> a) -> Fortran a -> Fortran a Source #

class RFunctor t where Source #

rfmap

rfmap :: (a -> a) -> t a -> t a Source #

class Refill d where Source #

refill

refill :: d a -> a -> d a Source #

refill :: Fortran a -> a -> Fortran a Source #

annotation :: Tagged g => g a -> a Source #