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

Safe HaskellSafe-Inferred

DDC.Core.Transform.MapT

Synopsis

Documentation

mapT :: MapT c => (Type n -> Type n) -> c n -> c nSource

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