Module

Type.Data.Peano.Int.TypeAliases

#P0

type P0 = Pos D0

#P1

type P1 = Pos D1

#P2

type P2 = Pos D2

#P3

type P3 = Pos D3

#P4

type P4 = Pos D4

#P5

type P5 = Pos D5

#P6

type P6 = Pos D6

#P7

type P7 = Pos D7

#P8

type P8 = Pos D8

#P9

type P9 = Pos D9

#P10

type P10 = Pos D10

#P11

type P11 = Pos D11

#P12

type P12 = Pos D12

#P13

type P13 = Pos D13

#P14

type P14 = Pos D14

#P15

type P15 = Pos D15

#P16

type P16 = Pos D16

#P17

type P17 = Pos D17

#P18

type P18 = Pos D18

#P19

type P19 = Pos D19

#P20

type P20 = Pos D20

#P21

type P21 = Pos D21

#P22

type P22 = Pos D22

#P23

type P23 = Pos D23

#P24

type P24 = Pos D24

#P25

type P25 = Pos D25

#P26

type P26 = Pos D26

#P27

type P27 = Pos D27

#P28

type P28 = Pos D28

#P29

type P29 = Pos D29

#P30

type P30 = Pos D30

#P31

type P31 = Pos D31

#P32

type P32 = Pos D32

#P33

type P33 = Pos D33

#P34

type P34 = Pos D34

#P35

type P35 = Pos D35

#P36

type P36 = Pos D36

#P37

type P37 = Pos D37

#P38

type P38 = Pos D38

#P39

type P39 = Pos D39

#P40

type P40 = Pos D40

#P41

type P41 = Pos D41

#P42

type P42 = Pos D42

#P43

type P43 = Pos D43

#P44

type P44 = Pos D44

#P45

type P45 = Pos D45

#P46

type P46 = Pos D46

#P47

type P47 = Pos D47

#P48

type P48 = Pos D48

#P49

type P49 = Pos D49

#P50

type P50 = Pos D50

#P51

type P51 = Pos D51

#P52

type P52 = Pos D52

#P53

type P53 = Pos D53

#P54

type P54 = Pos D54

#P55

type P55 = Pos D55

#P56

type P56 = Pos D56

#P57

type P57 = Pos D57

#P58

type P58 = Pos D58

#P59

type P59 = Pos D59

#P60

type P60 = Pos D60

#P61

type P61 = Pos D61

#P62

type P62 = Pos D62

#P63

type P63 = Pos D63

#P64

type P64 = Pos D64

#P65

type P65 = Pos D65

#P66

type P66 = Pos D66

#P67

type P67 = Pos D67

#P68

type P68 = Pos D68

#P69

type P69 = Pos D69

#P70

type P70 = Pos D70

#P71

type P71 = Pos D71

#P72

type P72 = Pos D72

#P73

type P73 = Pos D73

#P74

type P74 = Pos D74

#P75

type P75 = Pos D75

#P76

type P76 = Pos D76

#P77

type P77 = Pos D77

#P78

type P78 = Pos D78

#P79

type P79 = Pos D79

#P80

type P80 = Pos D80

#P81

type P81 = Pos D81

#P82

type P82 = Pos D82

#P83

type P83 = Pos D83

#P84

type P84 = Pos D84

#P85

type P85 = Pos D85

#P86

type P86 = Pos D86

#P87

type P87 = Pos D87

#P88

type P88 = Pos D88

#P89

type P89 = Pos D89

#P90

type P90 = Pos D90

#P91

type P91 = Pos D91

#P92

type P92 = Pos D92

#P93

type P93 = Pos D93

#P94

type P94 = Pos D94

#P95

type P95 = Pos D95

#P96

type P96 = Pos D96

#P97

type P97 = Pos D97

#P98

type P98 = Pos D98

#P99

type P99 = Pos D99

#P100

type P100 = Pos D100

#p0

p0 :: forall proxy. proxy P0

#p1

p1 :: forall proxy. proxy P1

#p2

p2 :: forall proxy. proxy P2

#p3

p3 :: forall proxy. proxy P3

#p4

p4 :: forall proxy. proxy P4

#p5

p5 :: forall proxy. proxy P5

#p6

p6 :: forall proxy. proxy P6

#p7

p7 :: forall proxy. proxy P7

#p8

p8 :: forall proxy. proxy P8

#p9

p9 :: forall proxy. proxy P9

#p10

p10 :: forall proxy. proxy P10

#p11

p11 :: forall proxy. proxy P11

#p12

p12 :: forall proxy. proxy P12

#p13

p13 :: forall proxy. proxy P13

#p14

p14 :: forall proxy. proxy P14

#p15

p15 :: forall proxy. proxy P15

#p16

p16 :: forall proxy. proxy P16

#p17

p17 :: forall proxy. proxy P17

#p18

p18 :: forall proxy. proxy P18

#p19

p19 :: forall proxy. proxy P19

#p20

p20 :: forall proxy. proxy P20

#p21

p21 :: forall proxy. proxy P21

#p22

p22 :: forall proxy. proxy P22

#p23

p23 :: forall proxy. proxy P23

#p24

p24 :: forall proxy. proxy P24

#p25

p25 :: forall proxy. proxy P25

#p26

p26 :: forall proxy. proxy P26

#p27

p27 :: forall proxy. proxy P27

#p28

p28 :: forall proxy. proxy P28

#p29

p29 :: forall proxy. proxy P29

#p30

p30 :: forall proxy. proxy P30

#p31

p31 :: forall proxy. proxy P31

#p32

p32 :: forall proxy. proxy P32

#p33

p33 :: forall proxy. proxy P33

#p34

p34 :: forall proxy. proxy P34

#p35

p35 :: forall proxy. proxy P35

#p36

p36 :: forall proxy. proxy P36

#p37

p37 :: forall proxy. proxy P37

#p38

p38 :: forall proxy. proxy P38

#p39

p39 :: forall proxy. proxy P39

#p40

p40 :: forall proxy. proxy P40

#p41

p41 :: forall proxy. proxy P41

#p42

p42 :: forall proxy. proxy P42

#p43

p43 :: forall proxy. proxy P43

#p44

p44 :: forall proxy. proxy P44

#p45

p45 :: forall proxy. proxy P45

#p46

p46 :: forall proxy. proxy P46

#p47

p47 :: forall proxy. proxy P47

#p48

p48 :: forall proxy. proxy P48

#p49

p49 :: forall proxy. proxy P49

#p50

p50 :: forall proxy. proxy P50

#p51

p51 :: forall proxy. proxy P51

#p52

p52 :: forall proxy. proxy P52

#p53

p53 :: forall proxy. proxy P53

#p54

p54 :: forall proxy. proxy P54

#p55

p55 :: forall proxy. proxy P55

#p56

p56 :: forall proxy. proxy P56

#p57

p57 :: forall proxy. proxy P57

#p58

p58 :: forall proxy. proxy P58

#p59

p59 :: forall proxy. proxy P59

#p60

p60 :: forall proxy. proxy P60

#p61

p61 :: forall proxy. proxy P61

#p62

p62 :: forall proxy. proxy P62

#p63

p63 :: forall proxy. proxy P63

#p64

p64 :: forall proxy. proxy P64

#p65

p65 :: forall proxy. proxy P65

#p66

p66 :: forall proxy. proxy P66

#p67

p67 :: forall proxy. proxy P67

#p68

p68 :: forall proxy. proxy P68

#p69

p69 :: forall proxy. proxy P69

#p70

p70 :: forall proxy. proxy P70

#p71

p71 :: forall proxy. proxy P71

#p72

p72 :: forall proxy. proxy P72

#p73

p73 :: forall proxy. proxy P73

#p74

p74 :: forall proxy. proxy P74

#p75

p75 :: forall proxy. proxy P75

#p76

p76 :: forall proxy. proxy P76

#p77

p77 :: forall proxy. proxy P77

#p78

p78 :: forall proxy. proxy P78

#p79

p79 :: forall proxy. proxy P79

#p80

p80 :: forall proxy. proxy P80

#p81

p81 :: forall proxy. proxy P81

#p82

p82 :: forall proxy. proxy P82

#p83

p83 :: forall proxy. proxy P83

#p84

p84 :: forall proxy. proxy P84

#p85

p85 :: forall proxy. proxy P85

#p86

p86 :: forall proxy. proxy P86

#p87

p87 :: forall proxy. proxy P87

#p88

p88 :: forall proxy. proxy P88

#p89

p89 :: forall proxy. proxy P89

#p90

p90 :: forall proxy. proxy P90

#p91

p91 :: forall proxy. proxy P91

#p92

p92 :: forall proxy. proxy P92

#p93

p93 :: forall proxy. proxy P93

#p94

p94 :: forall proxy. proxy P94

#p95

p95 :: forall proxy. proxy P95

#p96

p96 :: forall proxy. proxy P96

#p97

p97 :: forall proxy. proxy P97

#p98

p98 :: forall proxy. proxy P98

#p99

p99 :: forall proxy. proxy P99

#p100

p100 :: forall proxy. proxy P100

#N0

type N0 = Neg D0

#N1

type N1 = Neg D1

#N2

type N2 = Neg D2

#N3

type N3 = Neg D3

#N4

type N4 = Neg D4

#N5

type N5 = Neg D5

#N6

type N6 = Neg D6

#N7

type N7 = Neg D7

#N8

type N8 = Neg D8

#N9

type N9 = Neg D9

#N10

type N10 = Neg D10

#N11

type N11 = Neg D11

#N12

type N12 = Neg D12

#N13

type N13 = Neg D13

#N14

type N14 = Neg D14

#N15

type N15 = Neg D15

#N16

type N16 = Neg D16

#N17

type N17 = Neg D17

#N18

type N18 = Neg D18

#N19

type N19 = Neg D19

#N20

type N20 = Neg D20

#N21

type N21 = Neg D21

#N22

type N22 = Neg D22

#N23

type N23 = Neg D23

#N24

type N24 = Neg D24

#N25

type N25 = Neg D25

#N26

type N26 = Neg D26

#N27

type N27 = Neg D27

#N28

type N28 = Neg D28

#N29

type N29 = Neg D29

#N30

type N30 = Neg D30

#N31

type N31 = Neg D31

#N32

type N32 = Neg D32

#N33

type N33 = Neg D33

#N34

type N34 = Neg D34

#N35

type N35 = Neg D35

#N36

type N36 = Neg D36

#N37

type N37 = Neg D37

#N38

type N38 = Neg D38

#N39

type N39 = Neg D39

#N40

type N40 = Neg D40

#N41

type N41 = Neg D41

#N42

type N42 = Neg D42

#N43

type N43 = Neg D43

#N44

type N44 = Neg D44

#N45

type N45 = Neg D45

#N46

type N46 = Neg D46

#N47

type N47 = Neg D47

#N48

type N48 = Neg D48

#N49

type N49 = Neg D49

#N50

type N50 = Neg D50

#N51

type N51 = Neg D51

#N52

type N52 = Neg D52

#N53

type N53 = Neg D53

#N54

type N54 = Neg D54

#N55

type N55 = Neg D55

#N56

type N56 = Neg D56

#N57

type N57 = Neg D57

#N58

type N58 = Neg D58

#N59

type N59 = Neg D59

#N60

type N60 = Neg D60

#N61

type N61 = Neg D61

#N62

type N62 = Neg D62

#N63

type N63 = Neg D63

#N64

type N64 = Neg D64

#N65

type N65 = Neg D65

#N66

type N66 = Neg D66

#N67

type N67 = Neg D67

#N68

type N68 = Neg D68

#N69

type N69 = Neg D69

#N70

type N70 = Neg D70

#N71

type N71 = Neg D71

#N72

type N72 = Neg D72

#N73

type N73 = Neg D73

#N74

type N74 = Neg D74

#N75

type N75 = Neg D75

#N76

type N76 = Neg D76

#N77

type N77 = Neg D77

#N78

type N78 = Neg D78

#N79

type N79 = Neg D79

#N80

type N80 = Neg D80

#N81

type N81 = Neg D81

#N82

type N82 = Neg D82

#N83

type N83 = Neg D83

#N84

type N84 = Neg D84

#N85

type N85 = Neg D85

#N86

type N86 = Neg D86

#N87

type N87 = Neg D87

#N88

type N88 = Neg D88

#N89

type N89 = Neg D89

#N90

type N90 = Neg D90

#N91

type N91 = Neg D91

#N92

type N92 = Neg D92

#N93

type N93 = Neg D93

#N94

type N94 = Neg D94

#N95

type N95 = Neg D95

#N96

type N96 = Neg D96

#N97

type N97 = Neg D97

#N98

type N98 = Neg D98

#N99

type N99 = Neg D99

#N100

type N100 = Neg D100

#n0

n0 :: forall proxy. proxy N0

#n1

n1 :: forall proxy. proxy N1

#n2

n2 :: forall proxy. proxy N2

#n3

n3 :: forall proxy. proxy N3

#n4

n4 :: forall proxy. proxy N4

#n5

n5 :: forall proxy. proxy N5

#n6

n6 :: forall proxy. proxy N6

#n7

n7 :: forall proxy. proxy N7

#n8

n8 :: forall proxy. proxy N8

#n9

n9 :: forall proxy. proxy N9

#n10

n10 :: forall proxy. proxy N10

#n11

n11 :: forall proxy. proxy N11

#n12

n12 :: forall proxy. proxy N12

#n13

n13 :: forall proxy. proxy N13

#n14

n14 :: forall proxy. proxy N14

#n15

n15 :: forall proxy. proxy N15

#n16

n16 :: forall proxy. proxy N16

#n17

n17 :: forall proxy. proxy N17

#n18

n18 :: forall proxy. proxy N18

#n19

n19 :: forall proxy. proxy N19

#n20

n20 :: forall proxy. proxy N20

#n21

n21 :: forall proxy. proxy N21

#n22

n22 :: forall proxy. proxy N22

#n23

n23 :: forall proxy. proxy N23

#n24

n24 :: forall proxy. proxy N24

#n25

n25 :: forall proxy. proxy N25

#n26

n26 :: forall proxy. proxy N26

#n27

n27 :: forall proxy. proxy N27

#n28

n28 :: forall proxy. proxy N28

#n29

n29 :: forall proxy. proxy N29

#n30

n30 :: forall proxy. proxy N30

#n31

n31 :: forall proxy. proxy N31

#n32

n32 :: forall proxy. proxy N32

#n33

n33 :: forall proxy. proxy N33

#n34

n34 :: forall proxy. proxy N34

#n35

n35 :: forall proxy. proxy N35

#n36

n36 :: forall proxy. proxy N36

#n37

n37 :: forall proxy. proxy N37

#n38

n38 :: forall proxy. proxy N38

#n39

n39 :: forall proxy. proxy N39

#n40

n40 :: forall proxy. proxy N40

#n41

n41 :: forall proxy. proxy N41

#n42

n42 :: forall proxy. proxy N42

#n43

n43 :: forall proxy. proxy N43

#n44

n44 :: forall proxy. proxy N44

#n45

n45 :: forall proxy. proxy N45

#n46

n46 :: forall proxy. proxy N46

#n47

n47 :: forall proxy. proxy N47

#n48

n48 :: forall proxy. proxy N48

#n49

n49 :: forall proxy. proxy N49

#n50

n50 :: forall proxy. proxy N50

#n51

n51 :: forall proxy. proxy N51

#n52

n52 :: forall proxy. proxy N52

#n53

n53 :: forall proxy. proxy N53

#n54

n54 :: forall proxy. proxy N54

#n55

n55 :: forall proxy. proxy N55

#n56

n56 :: forall proxy. proxy N56

#n57

n57 :: forall proxy. proxy N57

#n58

n58 :: forall proxy. proxy N58

#n59

n59 :: forall proxy. proxy N59

#n60

n60 :: forall proxy. proxy N60

#n61

n61 :: forall proxy. proxy N61

#n62

n62 :: forall proxy. proxy N62

#n63

n63 :: forall proxy. proxy N63

#n64

n64 :: forall proxy. proxy N64

#n65

n65 :: forall proxy. proxy N65

#n66

n66 :: forall proxy. proxy N66

#n67

n67 :: forall proxy. proxy N67

#n68

n68 :: forall proxy. proxy N68

#n69

n69 :: forall proxy. proxy N69

#n70

n70 :: forall proxy. proxy N70

#n71

n71 :: forall proxy. proxy N71

#n72

n72 :: forall proxy. proxy N72

#n73

n73 :: forall proxy. proxy N73

#n74

n74 :: forall proxy. proxy N74

#n75

n75 :: forall proxy. proxy N75

#n76

n76 :: forall proxy. proxy N76

#n77

n77 :: forall proxy. proxy N77

#n78

n78 :: forall proxy. proxy N78

#n79

n79 :: forall proxy. proxy N79

#n80

n80 :: forall proxy. proxy N80

#n81

n81 :: forall proxy. proxy N81

#n82

n82 :: forall proxy. proxy N82

#n83

n83 :: forall proxy. proxy N83

#n84

n84 :: forall proxy. proxy N84

#n85

n85 :: forall proxy. proxy N85

#n86

n86 :: forall proxy. proxy N86

#n87

n87 :: forall proxy. proxy N87

#n88

n88 :: forall proxy. proxy N88

#n89

n89 :: forall proxy. proxy N89

#n90

n90 :: forall proxy. proxy N90

#n91

n91 :: forall proxy. proxy N91

#n92

n92 :: forall proxy. proxy N92

#n93

n93 :: forall proxy. proxy N93

#n94

n94 :: forall proxy. proxy N94

#n95

n95 :: forall proxy. proxy N95

#n96

n96 :: forall proxy. proxy N96

#n97

n97 :: forall proxy. proxy N97

#n98

n98 :: forall proxy. proxy N98

#n99

n99 :: forall proxy. proxy N99

#n100

n100 :: forall proxy. proxy N100

Modules