Commit 9e9ab2ca authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Rename functions

parent 2e9d99ec
......@@ -4,7 +4,7 @@ module Data.Array.Parallel.Base.Closure (
(:<->:)(..),
to, from,
identity, convArrow
identityIso, arrowIso
) where
infixr 0 :->
......@@ -32,8 +32,8 @@ from :: a :<->: b -> b -> a
{-# INLINE from #-}
from (_ :<->: f) = f
identity :: a :<->: a
identity = id :<->: id
identityIso :: a :<->: a
identityIso = id :<->: id
toClosure :: a :<->: a' -> b :<->: b' -> (a -> b) -> (a' :-> b')
{-# INLINE toClosure #-}
......@@ -43,7 +43,7 @@ fromClosure :: a :<->: a' -> b :<->: b' -> (a' :-> b') -> (a -> b)
{-# INLINE fromClosure #-}
fromClosure isoa isob (f :$ e) = from isob . f e . to isoa
convArrow :: a :<->: a' -> b :<->: b' -> (a -> b) :<->: (a' :-> b')
{-# INLINE convArrow #-}
convArrow isoa isob = toClosure isoa isob :<->: fromClosure isoa isob
arrowIso :: a :<->: a' -> b :<->: b' -> (a -> b) :<->: (a' :-> b')
{-# INLINE arrowIso #-}
arrowIso isoa isob = toClosure isoa isob :<->: fromClosure isoa isob
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment