ddc-core-0.4.2.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.