DDC.Core.Transform.TransformDownX

General purpose tree walking boilerplate.

Documentation

class TransformDownMX m c where

Minimal complete definition

transformDownMX

Methods

transformDownMX :: Ord n => (KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)) -> KindEnv n -> TypeEnv n -> c a n -> m (c a n)

Top-down monadic rewrite of all core expressions in a thing.

Instances

Monad m => TransformDownMX m Alt

Methods

transformDownMX :: Ord n => (KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)) -> KindEnv n -> TypeEnv n -> Alt a n -> m (Alt a n)

Monad m => TransformDownMX m Lets

Methods

transformDownMX :: Ord n => (KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)) -> KindEnv n -> TypeEnv n -> Lets a n -> m (Lets a n)

Monad m => TransformDownMX m Exp

Methods

transformDownMX :: Ord n => (KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)) -> KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)

Monad m => TransformDownMX m Module

Methods

transformDownMX :: Ord n => (KindEnv n -> TypeEnv n -> Exp a n -> m (Exp a n)) -> KindEnv n -> TypeEnv n -> Module a n -> m (Module a n)

transformDownX

Arguments

:: forall (c :: * -> * -> *). (Ord n, TransformDownMX Identity c)

=> (KindEnv n -> TypeEnv n -> Exp a n -> Exp a n)

The worker function is given the current kind and type environments.

-> KindEnv n

Initial kind environment.

-> TypeEnv n

Initial type environment.

-> c a n

Transform this thing.

-> c a n

Top-down rewrite of all core expressions in a thing.

transformDownX'

Arguments

:: forall (c :: * -> * -> *). (Ord n, TransformDownMX Identity c)

=> (Exp a n -> Exp a n)

The worker function is given the current kind and type environments.

-> c a n

Transform this thing.

-> c a n

Like transformDownX, but without using environments.