Skip to content

Instantly share code, notes, and snippets.

@guilleiguaran
Last active Aug 29, 2015
Embed
What would you like to do?
# 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