blob: cfde185d9c2dc9a45b02f0138484986ad7fd16f6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ExplicitForAll #-}
module FunArgs where
f :: forall a. Ord a
=> Int -- ^ First argument
-> a -- ^ Second argument
-> Bool -- ^ Third argument
-> (a -> a) -- ^ Fourth argument
-> () -- ^ Result
f = undefined
g :: a -- ^ First argument
-> b -- ^ Second argument
-> c -- ^ Third argument
-> d -- ^ Result
g = undefined
|
