Camfort.Traverse

Documentation

extendBi :: (Biplate (from a) (to a), RComonad to) => (to a -> a) -> from a -> from a

reduceCollect :: (Data s, Data t, Uniplate t, Biplate t s) => (s -> Maybe a) -> t -> [a]

everywhere :: (Zipper a -> Zipper a) -> Zipper a -> Zipper a

zfmap :: Data a => (a -> a) -> Zipper (d a) -> Zipper (d a)

extendBi' :: (Biplate (from a) (to a), Comonad to) => (to a -> a) -> from a -> from a

class RComonad t where

Minimal complete definition

rextract, rextend

Methods

rextract :: t a -> a

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

Instances

RComonad Fortran

Methods

rextract :: Fortran a -> a

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

class RFunctor t where

Minimal complete definition

rfmap

Methods

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

class Refill d where

Minimal complete definition

refill

Methods

refill :: d a -> a -> d a

Instances

Refill Fortran

Methods

refill :: Fortran a -> a -> Fortran a

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