Cookbook/Compilers and interpreters: Difference between revisions

Revision as of 08:27, 31 August 2009

GHC

TODO

GHCi

Problem

Solution

Examples

checking definitions

:i

Prelude> :i Maybe
data Maybe a = Nothing | Just a         -- Defined in Data.Maybe
instance (Eq a) => Eq (Maybe a) -- Defined in Data.Maybe
instance Monad Maybe -- Defined in Data.Maybe
instance Functor Maybe -- Defined in Data.Maybe
instance (Ord a) => Ord (Maybe a) -- Defined in Data.Maybe
instance (Read a) => Read (Maybe a) -- Defined in GHC.Read
instance (Show a) => Show (Maybe a) -- Defined in GHC.Show

checking types

:t

Prelude> :t "Hello"
"Hello" :: [Char]

Hugs

TODO