Safe Haskell	Safe-Inferred

FunArgs

Documentation

Arguments

:: forall a. Ord a
=> Int	First argument
-> a	Second argument
-> Bool	Third argument
-> (a -> a)	Fourth argument
-> ()	Result

Arguments

:: a	First argument
-> b	Second argument
-> c	Third argument
-> d	Result

Arguments

:: forall a b c. a	First argument
-> b	Second argument
-> c	Third argument
-> forall d. d	Result

Arguments

:: forall a (b :: ()) d. d ~ '()
=> forall c. a b c d	abcd
-> ()	Result

Arguments

:: forall proxy (a :: ()) b. proxy a	First argument
-> b	Result