Searched refs:PrimImpl (Results 1 – 7 of 7) sorted by relevance
448 return $ PrimImpl ty $ primFun __IMPOSSIBLE__ 3 $ \ ts -> do541 return $ PrimImpl t $ primFun __IMPOSSIBLE__ (1 + size eqTel) $ \ ts -> do590 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 6 $ \ ts ->648 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 1 $ \ ~[a] -> do655 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 2 $ \ ~[a, b] -> do668 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 0 $ \_ -> redReturn $ Sort LockUniv683 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 1 $ \ts ->700 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 1 $ \ts ->717 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 2 $ \ts ->739 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 3 $ \ts ->[all …]
52 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 1 $ \ ts -> do80 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 2 $ \ ts -> do102 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 2 $ \ ts -> do166 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 8 $ \ ts -> do221 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 8 $ \ ts -> do245 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 6 $ \ ts -> do1431 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 6 $ \ts ->1457 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 5 $ \ts ->1515 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 6 $ \ts ->1537 return $ PrimImpl t $ primFun __IMPOSSIBLE__ 8 $ \ts ->[all …]
181 PrimImpl t pf <- lookupPrimitiveFunction s182 return (s, PrimImpl t $ pf { primFunName = q })
794 PrimImpl t pf <- lookupPrimitiveFunction pfname948 PrimImpl t pf <- lookupPrimitiveFunction name
676 (name, PrimImpl t' pf) <- lookupPrimitiveFunctionQ x
230 PrimImpl _ pf <- lookupPrimitiveFunction x
2437 data PrimitiveImpl = PrimImpl Type PrimFun constructor