Skip to content

Instantly share code, notes, and snippets.

@guilleiguaran
Last active August 29, 2015 14:26
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save guilleiguaran/d2b6ba50534cb67e6a7e to your computer and use it in GitHub Desktop.
# 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
@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