Permalink
Browse files

Added INLINE pragmas to all functions

  • Loading branch information...
1 parent c658cea commit 0e33fcca2494aedb37661a2d3d07b84540c1d242 @basvandijk basvandijk committed Oct 4, 2011
@@ -36,6 +36,7 @@ U+229B, CIRCLED ASTERISK OPERATOR
-}
(⊛) Applicative f f (α β) f α f β
(⊛) = (<*>)
+{-# INLINE (⊛) #-}
{-|
(&#x2205;) = 'empty'
@@ -44,3 +45,4 @@ U+2205, EMPTY SET
-}
(∅) Alternative f f α
(∅) = empty
+{-# INLINE (∅) #-}
View
@@ -60,6 +60,7 @@ U+2042, ASTERISM
-}
(⁂) Arrow () (α β) (α' β') (α, α') (β, β')
(⁂) = (***)
+{-# INLINE (⁂) #-}
#endif
{-|
@@ -69,6 +70,7 @@ U+29FB, TRIPLE PLUS
-}
(⧻) ArrowChoice () (α β) (α' β') (Either α α' Either β β')
(⧻) = (+++)
+{-# INLINE (⧻) #-}
{-|
(&#x2AF4;) = ('|||')
@@ -77,6 +79,7 @@ U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION
-}
(⫴) ArrowChoice () (α δ) (β δ) (Either α β δ)
(⫴) = (|||)
+{-# INLINE (⫴) #-}
#if ! (MIN_VERSION_base(3,0,3))
{-|
@@ -86,6 +89,7 @@ U+22D9, VERY MUCH GREATER-THAN
-}
(⋙) Arrow () (α β) (β γ) (α γ)
(⋙) = (>>>)
+{-# INLINE (⋙) #-}
{-|
(&#x22D8;) = ('<<<')
@@ -94,4 +98,5 @@ U+22D8, VERY MUCH LESS-THAN
-}
(⋘) Arrow () (β γ) (α β) (α γ)
(⋘) = (<<<)
+{-# INLINE (⋘) #-}
#endif
@@ -37,6 +37,7 @@ U+2218, RING OPERATOR
-}
(∘) Category () (β γ) (α β) (α γ)
(∘) = (.)
+{-# INLINE (∘) #-}
{-|
(&#x22D9;) = ('>>>')
@@ -45,6 +46,7 @@ U+22D9, VERY MUCH GREATER-THAN
-}
(⋙) Category () (α β) (β γ) (α γ)
(⋙) = (>>>)
+{-# INLINE (⋙) #-}
{-|
(&#x22D8;) = ('<<<')
@@ -53,3 +55,4 @@ U+22D8, VERY MUCH LESS-THAN
-}
(⋘) Category () (β γ) (α β) (α γ)
(⋘) = (<<<)
+{-# INLINE (⋘) #-}
View
@@ -38,6 +38,7 @@ infixr 1 =≪
-}
(≫=) Monad m m α (α m β) m β
(≫=) = (>>=)
+{-# INLINE (≫=) #-}
{-|
(&#x226B;) = ('>>')
@@ -46,6 +47,7 @@ U+226B, MUCH GREATER-THAN
-}
(≫) Monad m m α m β m β
(≫) = (>>)
+{-# INLINE (≫) #-}
{-|
(=&#x226A;) = ('=<<')
@@ -54,3 +56,4 @@ U+226B, MUCH GREATER-THAN
-}
(=≪) Monad m (α m β) m α m β
(=≪) = (=<<)
+{-# INLINE (=≪) #-}
View
@@ -37,6 +37,7 @@ U+00AC, NOT SIGN
-}
(¬) Bool Bool
(¬) = not
+{-# INLINE (¬) #-}
{-|
(&#x2227;) = ('&&')
@@ -45,6 +46,7 @@ U+2227, LOGICAL AND
-}
(∧) Bool Bool Bool
(∧) = (&&)
+{-# INLINE (∧) #-}
{-|
(&#x2228;) = ('||')
@@ -53,3 +55,4 @@ U+2228, LOGICAL OR
-}
(∨) Bool Bool Bool
(∨) = (||)
+{-# INLINE (∨) #-}
View
@@ -38,6 +38,7 @@ U+2261, IDENTICAL TO
-}
(≡) Eq α α α Bool
(≡) = (==)
+{-# INLINE (≡) #-}
{-|
(&#x2262;) = ('/=')
@@ -46,6 +47,7 @@ U+2262, NOT IDENTICAL TO
-}
(≢) Eq α α α Bool
(≢) = (/=)
+{-# INLINE (≢) #-}
{-|
(&#x2260;) = ('/=')
@@ -54,3 +56,4 @@ U+2260, NOT EQUAL TO
-}
(≠) Eq α α α Bool
(≠) = (/=)
+{-# INLINE (≠) #-}
View
@@ -42,6 +42,7 @@ U+2208, ELEMENT OF
-}
(∈) (Foldable t, Eq α) α t α Bool
(∈) = elem
+{-# INLINE (∈) #-}
{-|
(&#x220B;) = 'flip' (&#x2208;)
@@ -50,6 +51,7 @@ U+220B, CONTAINS AS MEMBER
-}
(∋) (Foldable t, Eq α) t α α Bool
(∋) = flip (∈)
+{-# INLINE (∋) #-}
{-|
(&#x2209;) = 'notElem'
@@ -58,6 +60,7 @@ U+2209, NOT AN ELEMENT OF
-}
(∉) (Foldable t, Eq α) α t α Bool
(∉) = notElem
+{-# INLINE (∉) #-}
{-|
(&#x220C;) = 'flip' (&#x2209;)
@@ -66,3 +69,4 @@ U+220C, DOES NOT CONTAIN AS MEMBER
-}
(∌) (Foldable t, Eq α) t α α Bool
(∌) = flip (∉)
+{-# INLINE (∌) #-}
View
@@ -36,3 +36,4 @@ U+2218, RING OPERATOR
-}
(∘) (β γ) (α β) (α γ)
(∘) = (.)
+{-# INLINE (∘) #-}
View
@@ -51,6 +51,7 @@ U+29FA, DOUBLE PLUS
-}
(⧺) [α] [α] [α]
(⧺) = (++)
+{-# INLINE (⧺) #-}
{-|
(&#x2208;) = 'elem'
@@ -59,6 +60,7 @@ U+2208, ELEMENT OF
-}
(∈) Eq α α [α] Bool
(∈) = elem
+{-# INLINE (∈) #-}
{-|
(&#x220B;) = 'flip' (&#x2208;)
@@ -67,6 +69,7 @@ U+220B, CONTAINS AS MEMBER
-}
(∋) Eq α [α] α Bool
(∋) = flip (∈)
+{-# INLINE (∋) #-}
{-|
(&#x2209;) = 'notElem'
@@ -75,6 +78,7 @@ U+2209, NOT AN ELEMENT OF
-}
(∉) Eq α α [α] Bool
(∉) = notElem
+{-# INLINE (∉) #-}
{-|
(&#x220C;) = 'flip' (&#x2209;)
@@ -83,6 +87,7 @@ U+220C, DOES NOT CONTAIN AS MEMBER
-}
(∌) Eq α [α] α Bool
(∌) = flip (∉)
+{-# INLINE (∌) #-}
{-|
(&#x222A;) = 'union'
@@ -91,6 +96,7 @@ U+222A, UNION
-}
(∪) Eq α [α] [α] [α]
(∪) = union
+{-# INLINE (∪) #-}
{-|
(&#x2216;) = ('\\')
@@ -99,6 +105,7 @@ U+2216, SET MINUS
-}
(∖) Eq α [α] [α] [α]
(∖) = (\\)
+{-# INLINE (∖) #-}
{-|
Symmetric difference
@@ -109,6 +116,7 @@ U+2206, INCREMENT
-}
(∆) Eq α [α] [α] [α]
a b = (a b) (b a)
+{-# INLINE (∆) #-}
{-|
(&#x2229;) = 'intersect'
@@ -117,3 +125,4 @@ U+2229, INTERSECTION
-}
(∩) Eq α [α] [α] [α]
(∩) = intersect
+{-# INLINE (∩) #-}
View
@@ -36,6 +36,7 @@ U+2205, EMPTY SET
-}
(∅) Monoid α α
(∅) = mempty
+{-# INLINE (∅) #-}
{-|
(&#x2295;) = 'mappend'
@@ -44,4 +45,4 @@ U+2295, CIRCLED PLUS
-}
(⊕) Monoid α α α α
(⊕) = mappend
-
+{-# INLINE (⊕) #-}
View
@@ -40,6 +40,7 @@ U+2264, LESS-THAN OR EQUAL TO
-}
(≤) Ord α α α Bool
(≤) = (<=)
+{-# INLINE (≤) #-}
{-|
(&#x2265;) = ('>=')
@@ -48,6 +49,7 @@ U+2265, GREATER-THAN OR EQUAL TO
-}
(≥) Ord α α α Bool
(≥) = (>=)
+{-# INLINE (≥) #-}
{-|
(&#x226E;) = ('>=')
@@ -56,6 +58,7 @@ U+226E, NOT LESS-THAN
-}
(≮) Ord α α α Bool
(≮) = (>=)
+{-# INLINE (≮) #-}
{-|
(&#x226F;) = ('<=')
@@ -64,3 +67,4 @@ U+226F, NOT GREATER-THAN
-}
(≯) Ord α α α Bool
(≯) = (<=)
+{-# INLINE (≯) #-}
View
@@ -58,6 +58,7 @@ U+03C0, GREEK SMALL LETTER PI
-}
π Floating α α
π = pi
+{-# INLINE π #-}
{-|
(&#x00F7;) = ('/')
@@ -66,6 +67,7 @@ U+00F7, DIVISION SIGN
-}
(÷) Fractional α α α α
(÷) = (/)
+{-# INLINE (÷) #-}
{-|
(&#x22C5;) = ('*')
@@ -74,6 +76,7 @@ U+22C5, DOT OPERATOR
-}
(⋅) Num α α α α
(⋅) = (*)
+{-# INLINE (⋅) #-}
{-|
(&#x22A5;) = 'undefined'
@@ -82,6 +85,7 @@ U+22A5, UP TACK
-}
(⊥) α
(⊥) = undefined
+{-# INLINE (⊥) #-}
-------------------------------------------------------------------------------

0 comments on commit 0e33fcc

Please sign in to comment.