D.TwoD.Arrow: add type signature for mkHT

diagrams · Feb 19, 2015 · 4d273fa · 4d273fa
1 parent ef7d42f
commit 4d273fa
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Diagrams/TwoD/Arrow.hs b/src/Diagrams/TwoD/Arrow.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE FlexibleContexts           #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE MultiParamTypeClasses      #-}
+{-# LANGUAGE RankNTypes                 #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE TemplateHaskell            #-}
 {-# LANGUAGE TypeFamilies               #-}
@@ -296,6 +297,10 @@ mkTail :: (TypeableFloat n, Renderable (Path V2 n) b) =>
           n -> ArrowOpts n -> n -> n -> Bool -> (QDiagram b V2 n Any, n)
 mkTail = mkHT unitX arrowTail tailSty
 
+mkHT
+  :: (TypeableFloat n, Renderable (Path V2 n) b)
+  => V2 n -> Lens' (ArrowOpts n) (ArrowHT n) -> (ArrowOpts n -> Style V2 n)
+  -> n -> ArrowOpts n -> n -> n -> Bool -> (QDiagram b V2 n Any, n)
 mkHT xDir htProj styProj sz opts gToO nToO reflect
     = ( (j <> ht)
         # (if reflect then reflectY else id)