From b3473ded8aed5bd13f82d8fc68aa0c710520d979 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 30 Apr 2011 21:18:41 -0700 Subject: [PATCH] add experimental GArrowStatic --- GHC/HetMet/GArrow.hs | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs index c340fe2..0c32468 100644 --- a/GHC/HetMet/GArrow.hs +++ b/GHC/HetMet/GArrow.hs @@ -183,7 +183,14 @@ class (GArrowSTLC g (**) u (~>), - - - +------------------------------------------------------------------------ +-- Experimental, Not Yet Exported + +-- See Lindley, Wadler, and Yallop '08 -- except that here ga_force +-- is primitive since there is no "arr" to define it in terms of. +class GArrow g (**) u => GArrowStatic g (**) u (~>) where + ga_delay :: g a b -> g u (a~>b) + ga_force :: g u (a~>b) -> g a b + -- "ga_static/force_delay" forall a . force (delay a) = a + -- "ga_static/delay_force" forall a . delay (force a) = a -- 1.7.10.4