ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe
LanguageHaskell98

DDC.Core.Transform.MapT

Synopsis

Documentation

mapT :: forall n. MapT m c => MAPT m c n Source #

Apply a function to all possibly open types in a thing. Not the types of primitives because they're guaranteed to be closed.