Difference between revisions of "Cookbook/Compilers and interpreters"
< Cookbook
Jump to navigation
Jump to search
Line 7: | Line 7: | ||
! Examples |
! Examples |
||
|- |
|- |
||
− | | compile, but don't link |
+ | | compile a file, but don't link |
| -c |
| -c |
||
|ghc -c Foo.hs |
|ghc -c Foo.hs |
Revision as of 08:34, 31 August 2009
GHC
Problem | Solution | Examples |
---|---|---|
compile a file, but don't link | -c | ghc -c Foo.hs |
GHCi
Problem | Solution | Examples |
---|---|---|
checking definitions | :i | Prelude> :i Monad
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
return :: a -> m a
fail :: String -> m a
-- Defined in GHC.Base
instance Monad Maybe -- Defined in Data.Maybe
instance Monad IO -- Defined in GHC.IOBase
instance Monad ((->) r) -- Defined in Control.Monad.Instances
instance Monad [] -- Defined in GHC.Base
|
checking types | :t | Prelude> :t "Hello"
"Hello" :: [Char]
Prelude> :t length
length :: [a] -> Int
|
Hugs
TODO