Searched defs:pLift (Results 1 – 2 of 2) sorted by relevance
308 pLift LMLabel = error "Labels are unliftable" function309 pLift LMVoid = error "Voids are unliftable" function310 pLift LMMetadata = error "Metadatas are unliftable" function311 pLift x = LMPointer x function
724 let pLift f cp cds = f (buildDoc cp) (buildDocList cds) function