This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# From http://learnyouahaskell.com/types-and-typeclasses | |
@ann map :: ([A], (A -> B) -> [B]) | |
@ann remove_non_uppercase :: [Char] -> [Char] | |
@ann add_three :: Int, Int, Int -> Int | |
@ann factorial :: Int -> Int | |
@ann circumference :: Float -> Float | |
@ann head :: [A] -> A |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@alias String :: [Char] | |
@alias PhoneBook :: [{String, String}] | |
@alias PhoneNumber :: String | |
@alias Name :: String | |
@alias PhoneBook :: [{Name, PhoneNumber}] | |
@ann in_phonebook? :: Name, PhoneNumber, PhoneBook -> Bool | |
@union AnyInteger :: Integer | Long | BigInt | BigInteger | Short | Byte |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment