Safe Haskell	Safe-Inferred
Language	Haskell98

Object.Letters

Documentation

newtype Method a Source

Constructors

Method a

Instances

Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
Eq a => Eq (Method a)
Read a => Read (Method a)
Show a => Show (Method a)
Action (Foo x) Blub_
Action (Foo x) Baz_
Action (Foo x) Bar_
(~) * value0 x0 => Action (Foo x) ((:=) Blub_ value)
(~) * value0 Char => Action (Foo x) ((:=) Baz_ value)
(~) * value0 Int => Action (Foo x) ((:=) Bar_ value)
Action (Map k v) Size_
type MethodOutput Simple Simple_ = Int
type Output Simple (Method m) = MethodOutput Simple (Method m)
type MethodOutput Simple ((:=) Simple_ anything) = Simple
type Output Simple ((:=) (Method m) input) = MethodOutput Simple ((:=) (Method m) input)
type MethodOutput (Foo x0) Blub_ = x0
type MethodOutput (Foo x0) Baz_ = Char
type MethodOutput (Foo x0) Bar_ = Int
type Output (Foo x0) (Method m0) = MethodOutput (Foo x0) (Method m0)
type MethodOutput (Foo x0) ((:=) Blub_ value) = Foo x0
type MethodOutput (Foo x0) ((:=) Baz_ value) = Foo x0
type MethodOutput (Foo x0) ((:=) Bar_ value) = Foo x0
type Output (Foo x0) ((:=) (Method m0) input0) = MethodOutput (Foo x0) ((:=) (Method m0) input0)
type MethodOutput (Map k v) Size_ = Int

data T_a Source

Constructors

T_a

Instances

Eq T_a
Read T_a
Show T_a
Action (Foo x) Baz_
Action (Foo x) Bar_
(~) * value0 Char => Action (Foo x) ((:=) Baz_ value)
(~) * value0 Int => Action (Foo x) ((:=) Bar_ value)
type MethodOutput (Foo x0) Baz_ = Char
type MethodOutput (Foo x0) Bar_ = Int
type MethodOutput (Foo x0) ((:=) Baz_ value) = Foo x0
type MethodOutput (Foo x0) ((:=) Bar_ value) = Foo x0

data T_b Source

Constructors

T_b

Instances

Eq T_b
Read T_b
Show T_b
Action (Foo x) Blub_
Action (Foo x) Baz_
Action (Foo x) Bar_
(~) * value0 x0 => Action (Foo x) ((:=) Blub_ value)
(~) * value0 Char => Action (Foo x) ((:=) Baz_ value)
(~) * value0 Int => Action (Foo x) ((:=) Bar_ value)
type MethodOutput (Foo x0) Blub_ = x0
type MethodOutput (Foo x0) Baz_ = Char
type MethodOutput (Foo x0) Bar_ = Int
type MethodOutput (Foo x0) ((:=) Blub_ value) = Foo x0
type MethodOutput (Foo x0) ((:=) Baz_ value) = Foo x0
type MethodOutput (Foo x0) ((:=) Bar_ value) = Foo x0

data T_c Source

Constructors

T_c

Instances

Eq T_c
Read T_c
Show T_c

data T_d Source

Constructors

T_d

Instances

Eq T_d
Read T_d
Show T_d

data T_e Source

Constructors

T_e

Instances

Eq T_e
Read T_e
Show T_e
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
Action (Map k v) Size_
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple
type MethodOutput (Map k v) Size_ = Int

data T_f Source

Constructors

T_f

Instances

Eq T_f
Read T_f
Show T_f

data T_g Source

Constructors

T_g

Instances

Eq T_g
Read T_g
Show T_g

data T_h Source

Constructors

T_h

Instances

Eq T_h
Read T_h
Show T_h

data T_i Source

Constructors

T_i

Instances

Eq T_i
Read T_i
Show T_i
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
Action (Map k v) Size_
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple
type MethodOutput (Map k v) Size_ = Int

data T_j Source

Constructors

T_j

Instances

Eq T_j
Read T_j
Show T_j

data T_k Source

Constructors

T_k

Instances

Eq T_k
Read T_k
Show T_k

data T_l Source

Constructors

T_l

Instances

Eq T_l
Read T_l
Show T_l
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
Action (Foo x) Blub_
(~) * value0 x0 => Action (Foo x) ((:=) Blub_ value)
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple
type MethodOutput (Foo x0) Blub_ = x0
type MethodOutput (Foo x0) ((:=) Blub_ value) = Foo x0

data T_m Source

Constructors

T_m

Instances

Eq T_m
Read T_m
Show T_m
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple

data T_n Source

Constructors

T_n

Instances

Eq T_n
Read T_n
Show T_n

data T_o Source

Constructors

T_o

Instances

Eq T_o
Read T_o
Show T_o

data T_p Source

Constructors

T_p

Instances

Eq T_p
Read T_p
Show T_p
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple

data T_q Source

Constructors

T_q

Instances

Eq T_q
Read T_q
Show T_q

data T_r Source

Constructors

T_r

Instances

Eq T_r
Read T_r
Show T_r
Action (Foo x) Bar_
(~) * value0 Int => Action (Foo x) ((:=) Bar_ value)
type MethodOutput (Foo x0) Bar_ = Int
type MethodOutput (Foo x0) ((:=) Bar_ value) = Foo x0

data T_s Source

Constructors

T_s

Instances

Eq T_s
Read T_s
Show T_s
Action Simple Simple_
(~) * anything Int => Action Simple ((:=) Simple_ anything)
Action (Map k v) Size_
type MethodOutput Simple Simple_ = Int
type MethodOutput Simple ((:=) Simple_ anything) = Simple
type MethodOutput (Map k v) Size_ = Int

data T_t Source

Constructors

T_t

Instances

Eq T_t
Read T_t
Show T_t

data T_u Source

Constructors

T_u

Instances

Eq T_u
Read T_u
Show T_u
Action (Foo x) Blub_
(~) * value0 x0 => Action (Foo x) ((:=) Blub_ value)
type MethodOutput (Foo x0) Blub_ = x0
type MethodOutput (Foo x0) ((:=) Blub_ value) = Foo x0

data T_v Source

Constructors

T_v

Instances

Eq T_v
Read T_v
Show T_v

data T_w Source

Constructors

T_w

Instances

Eq T_w
Read T_w
Show T_w

data T_x Source

Constructors

T_x

Instances

Eq T_x
Read T_x
Show T_x

data T_y Source

Constructors

T_y

Instances

Eq T_y
Read T_y
Show T_y

data T_z Source

Constructors

T_z

Instances

Eq T_z
Read T_z
Show T_z
Action (Foo x) Baz_
(~) * value0 Char => Action (Foo x) ((:=) Baz_ value)
Action (Map k v) Size_
type MethodOutput (Foo x0) Baz_ = Char
type MethodOutput (Foo x0) ((:=) Baz_ value) = Foo x0
type MethodOutput (Map k v) Size_ = Int

data T_A Source

Constructors

T_A

Instances

Eq T_A
Read T_A
Show T_A

data T_B Source

Constructors

T_B

Instances

Eq T_B
Read T_B
Show T_B

data T_C Source

Constructors

T_C

Instances

Eq T_C
Read T_C
Show T_C

data T_D Source

Constructors

T_D

Instances

Eq T_D
Read T_D
Show T_D

data T_E Source

Constructors

T_E

Instances

Eq T_E
Read T_E
Show T_E

data T_F Source

Constructors

T_F

Instances

Eq T_F
Read T_F
Show T_F

data T_G Source

Constructors

T_G

Instances

Eq T_G
Read T_G
Show T_G

data T_H Source

Constructors

T_H

Instances

Eq T_H
Read T_H
Show T_H

data T_I Source

Constructors

T_I

Instances

Eq T_I
Read T_I
Show T_I

data T_J Source

Constructors

T_J

Instances

Eq T_J
Read T_J
Show T_J

data T_K Source

Constructors

T_K

Instances

Eq T_K
Read T_K
Show T_K

data T_L Source

Constructors

T_L

Instances

Eq T_L
Read T_L
Show T_L

data T_M Source

Constructors

T_M

Instances

Eq T_M
Read T_M
Show T_M

data T_N Source

Constructors

T_N

Instances

Eq T_N
Read T_N
Show T_N

data T_O Source

Constructors

T_O

Instances

Eq T_O
Read T_O
Show T_O

data T_P Source

Constructors

T_P

Instances

Eq T_P
Read T_P
Show T_P

data T_Q Source

Constructors

T_Q

Instances

Eq T_Q
Read T_Q
Show T_Q

data T_R Source

Constructors

T_R

Instances

Eq T_R
Read T_R
Show T_R

data T_S Source

Constructors

T_S

Instances

Eq T_S
Read T_S
Show T_S

data T_T Source

Constructors

T_T

Instances

Eq T_T
Read T_T
Show T_T

data T_U Source

Constructors

T_U

Instances

Eq T_U
Read T_U
Show T_U

data T_V Source

Constructors

T_V

Instances

Eq T_V
Read T_V
Show T_V

data T_W Source

Constructors

T_W

Instances

Eq T_W
Read T_W
Show T_W

data T_X Source

Constructors

T_X

Instances

Eq T_X
Read T_X
Show T_X

data T_Y Source

Constructors

T_Y

Instances

Eq T_Y
Read T_Y
Show T_Y

data T_Z Source

Constructors

T_Z

Instances

Eq T_Z
Read T_Z
Show T_Z

data T_0 Source

Constructors

T_0

Instances

Eq T_0
Read T_0
Show T_0

data T_1 Source

Constructors

T_1

Instances

Eq T_1
Read T_1
Show T_1

data T_2 Source

Constructors

T_2

Instances

Eq T_2
Read T_2
Show T_2

data T_3 Source

Constructors

T_3

Instances

Eq T_3
Read T_3
Show T_3

data T_4 Source

Constructors

T_4

Instances

Eq T_4
Read T_4
Show T_4

data T_5 Source

Constructors

T_5

Instances

Eq T_5
Read T_5
Show T_5

data T_6 Source

Constructors

T_6

Instances

Eq T_6
Read T_6
Show T_6

data T_7 Source

Constructors

T_7

Instances

Eq T_7
Read T_7
Show T_7

data T_8 Source

Constructors

T_8

Instances

Eq T_8
Read T_8
Show T_8

data T_9 Source

Constructors

T_9

Instances

Eq T_9
Read T_9
Show T_9

data T__ Source

Constructors

T__

Instances

Eq T__
Read T__
Show T__

data T_' Source

Constructors

T_'

Instances

Eq T_'
Read T_'
Show T_'