Support.Tickle

Documentation

class Tickleable a b where

Methods

tickleM :: Monad m => (a -> m a) -> b -> m b

tickleM_ :: Monad m => (a -> m c) -> b -> m ()

tickle :: (a -> a) -> b -> b

Instances

Tickleable Val Val

Tickleable Val Exp

Tickleable Exp Exp

Tickleable Exp Lam

Tickleable Lam Grin

Tickleable Lam FuncDef

Tickleable Type Pred

Tickleable Type Type

Tickleable (Atom, Lam) FuncDef

tickleCollect :: (Tickleable a b, Monoid o) => (a -> o) -> b -> o