Searched refs:liftNS (Results 1 – 2 of 2) sorted by relevance
169 …liftFlavour (NameG ns (PkgName p) (ModName m)) = [|NameG $(liftNS ns) (PkgName $(lift p)) (ModName…170 liftNS VarName = [|VarName|] function171 liftNS DataName = [|DataName|] function
715 liftNS oU oS sgn = liftN (if sgn then oS else oU) sgn function988 , (NotEqual, liftNS "distinct" "distinct" True)998 , (NotEqual, liftNS "distinct" "distinct" True)1008 , (NotEqual, liftNS "distinct" "distinct" True)