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

Correct type of arrowIso

parent 9e9ab2ca
......@@ -43,7 +43,9 @@ fromClosure :: a :<->: a' -> b :<->: b' -> (a' :-> b') -> (a -> b)
{-# INLINE fromClosure #-}
fromClosure isoa isob (f :$ e) = from isob . f e . to isoa
arrowIso :: a :<->: a' -> b :<->: b' -> (a -> b) :<->: (a' :-> b')
arrowIso :: forall a a'. a :<->: a'
-> forall b b'. 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