Searched defs:idDetails (Results 1 – 4 of 4) sorted by relevance
642 idDetails (Id { id_details = details }) = details function643 idDetails other = pprPanic "idDetails" (ppr other) function
762 idDetails (Id { id_details = details }) = details function763 idDetails other = pprPanic "idDetails" (ppr other) function
796 idDetails (Id { id_details = details }) = details function797 idDetails other = pprPanic "idDetails" (ppr other) function