blob: cad4a197461eed1a09ca432836f40ec2a02ae87a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
:{
add :: Int -> Int -> Int
add a b = a + b
:}
add 2 3
-- override
add = sum
add [1,2,3]
:{
a 0 = 0
a x = 1 + b x
b x = 2 + a (x - 1)
:}
b 2
-- do not show warning twice
{-# foo #-}
:{
{-# WARNING Foo "Just a warning" #-}
data Foo = Foo String
:}
:seti -XStandaloneDeriving
deriving instance Show Foo
-- ^ Just a 'foo' function.
foo = Foo "Some foo"
show foo
import Data.Char
:seti -XDefaultSignatures
:{
class HasString a where
update :: a -> (String -> String) -> a
upcase :: a -> a
upcase x = update x (fmap toUpper)
content :: a -> String
default content :: Show a => a -> String
content = show
:}
:{
instance HasString Foo where
update (Foo s) f = Foo (f s)
content (Foo s) = s
:}
upcase foo
{-# RULES "map/map" forall f g xs. map f (map g xs) = map (f.g) xs #-}
{-# ANN foo (Just "Hello") #-}
:seti -XRoleAnnotations
:{
type role T1 _ phantom
data T1 a b = MkT1 b
:}
:{
type role T2 _ nominal
data T2 a b = MkT2 a
:}
|
