TTImp.TTImp.Traversals

Definitions

mapTTImp : (RawImp' nm -> RawImp' nm) -> RawImp' nm -> RawImp' nm

Totality: total
Visibility: export

mapPiInfo : (RawImp' nm -> RawImp' nm) -> PiInfo (RawImp' nm) -> PiInfo (RawImp' nm)

Totality: total
Visibility: export

mapImpClause : (RawImp' nm -> RawImp' nm) -> ImpClause' nm -> ImpClause' nm

Totality: total
Visibility: export

mapFnOpt : (RawImp' nm -> RawImp' nm) -> FnOpt' nm -> FnOpt' nm

Totality: total
Visibility: export

mapImpData : (RawImp' nm -> RawImp' nm) -> ImpData' nm -> ImpData' nm

Totality: total
Visibility: export

mapImpRecord : (RawImp' nm -> RawImp' nm) -> ImpRecordData nm -> ImpRecordData nm

Totality: total
Visibility: export

mapImpDecl : (RawImp' nm -> RawImp' nm) -> ImpDecl' nm -> ImpDecl' nm

Totality: total
Visibility: export

mapIFieldUpdate : (RawImp' nm -> RawImp' nm) -> IFieldUpdate' nm -> IFieldUpdate' nm

Totality: total
Visibility: export

mapAltType : (RawImp' nm -> RawImp' nm) -> AltType' nm -> AltType' nm

Totality: total
Visibility: export