Module

Type.Data.Peano.Int.TypeAliases

Package: purescript-typelevel-peano
Repository: csicar/purescript-typelevel-peano

#P0 Source

type P0 = Pos D0

#P1 Source

type P1 = Pos D1

#P2 Source

type P2 = Pos D2

#P3 Source

type P3 = Pos D3

#P4 Source

type P4 = Pos D4

#P5 Source

type P5 = Pos D5

#P6 Source

type P6 = Pos D6

#P7 Source

type P7 = Pos D7

#P8 Source

type P8 = Pos D8

#P9 Source

type P9 = Pos D9

#P10 Source

type P10 = Pos D10

#P11 Source

type P11 = Pos D11

#P12 Source

type P12 = Pos D12

#P13 Source

type P13 = Pos D13

#P14 Source

type P14 = Pos D14

#P15 Source

type P15 = Pos D15

#P16 Source

type P16 = Pos D16

#P17 Source

type P17 = Pos D17

#P18 Source

type P18 = Pos D18

#P19 Source

type P19 = Pos D19

#P20 Source

type P20 = Pos D20

#P21 Source

type P21 = Pos D21

#P22 Source

type P22 = Pos D22

#P23 Source

type P23 = Pos D23

#P24 Source

type P24 = Pos D24

#P25 Source

type P25 = Pos D25

#P26 Source

type P26 = Pos D26

#P27 Source

type P27 = Pos D27

#P28 Source

type P28 = Pos D28

#P29 Source

type P29 = Pos D29

#P30 Source

type P30 = Pos D30

#P31 Source

type P31 = Pos D31

#P32 Source

type P32 = Pos D32

#P33 Source

type P33 = Pos D33

#P34 Source

type P34 = Pos D34

#P35 Source

type P35 = Pos D35

#P36 Source

type P36 = Pos D36

#P37 Source

type P37 = Pos D37

#P38 Source

type P38 = Pos D38

#P39 Source

type P39 = Pos D39

#P40 Source

type P40 = Pos D40

#P41 Source

type P41 = Pos D41

#P42 Source

type P42 = Pos D42

#P43 Source

type P43 = Pos D43

#P44 Source

type P44 = Pos D44

#P45 Source

type P45 = Pos D45

#P46 Source

type P46 = Pos D46

#P47 Source

type P47 = Pos D47

#P48 Source

type P48 = Pos D48

#P49 Source

type P49 = Pos D49

#P50 Source

type P50 = Pos D50

#P51 Source

type P51 = Pos D51

#P52 Source

type P52 = Pos D52

#P53 Source

type P53 = Pos D53

#P54 Source

type P54 = Pos D54

#P55 Source

type P55 = Pos D55

#P56 Source

type P56 = Pos D56

#P57 Source

type P57 = Pos D57

#P58 Source

type P58 = Pos D58

#P59 Source

type P59 = Pos D59

#P60 Source

type P60 = Pos D60

#P61 Source

type P61 = Pos D61

#P62 Source

type P62 = Pos D62

#P63 Source

type P63 = Pos D63

#P64 Source

type P64 = Pos D64

#P65 Source

type P65 = Pos D65

#P66 Source

type P66 = Pos D66

#P67 Source

type P67 = Pos D67

#P68 Source

type P68 = Pos D68

#P69 Source

type P69 = Pos D69

#P70 Source

type P70 = Pos D70

#P71 Source

type P71 = Pos D71

#P72 Source

type P72 = Pos D72

#P73 Source

type P73 = Pos D73

#P74 Source

type P74 = Pos D74

#P75 Source

type P75 = Pos D75

#P76 Source

type P76 = Pos D76

#P77 Source

type P77 = Pos D77

#P78 Source

type P78 = Pos D78

#P79 Source

type P79 = Pos D79

#P80 Source

type P80 = Pos D80

#P81 Source

type P81 = Pos D81

#P82 Source

type P82 = Pos D82

#P83 Source

type P83 = Pos D83

#P84 Source

type P84 = Pos D84

#P85 Source

type P85 = Pos D85

#P86 Source

type P86 = Pos D86

#P87 Source

type P87 = Pos D87

#P88 Source

type P88 = Pos D88

#P89 Source

type P89 = Pos D89

#P90 Source

type P90 = Pos D90

#P91 Source

type P91 = Pos D91

#P92 Source

type P92 = Pos D92

#P93 Source

type P93 = Pos D93

#P94 Source

type P94 = Pos D94

#P95 Source

type P95 = Pos D95

#P96 Source

type P96 = Pos D96

#P97 Source

type P97 = Pos D97

#P98 Source

type P98 = Pos D98

#P99 Source

type P99 = Pos D99

#P100 Source

type P100 = Pos D100

#p0 Source

p0 :: IProxy P0

#p1 Source

p1 :: IProxy P1

#p2 Source

p2 :: IProxy P2

#p3 Source

p3 :: IProxy P3

#p4 Source

p4 :: IProxy P4

#p5 Source

p5 :: IProxy P5

#p6 Source

p6 :: IProxy P6

#p7 Source

p7 :: IProxy P7

#p8 Source

p8 :: IProxy P8

#p9 Source

p9 :: IProxy P9

#p10 Source

p10 :: IProxy P10

#p11 Source

p11 :: IProxy P11

#p12 Source

p12 :: IProxy P12

#p13 Source

p13 :: IProxy P13

#p14 Source

p14 :: IProxy P14

#p15 Source

p15 :: IProxy P15

#p16 Source

p16 :: IProxy P16

#p17 Source

p17 :: IProxy P17

#p18 Source

p18 :: IProxy P18

#p19 Source

p19 :: IProxy P19

#p20 Source

p20 :: IProxy P20

#p21 Source

p21 :: IProxy P21

#p22 Source

p22 :: IProxy P22

#p23 Source

p23 :: IProxy P23

#p24 Source

p24 :: IProxy P24

#p25 Source

p25 :: IProxy P25

#p26 Source

p26 :: IProxy P26

#p27 Source

p27 :: IProxy P27

#p28 Source

p28 :: IProxy P28

#p29 Source

p29 :: IProxy P29

#p30 Source

p30 :: IProxy P30

#p31 Source

p31 :: IProxy P31

#p32 Source

p32 :: IProxy P32

#p33 Source

p33 :: IProxy P33

#p34 Source

p34 :: IProxy P34

#p35 Source

p35 :: IProxy P35

#p36 Source

p36 :: IProxy P36

#p37 Source

p37 :: IProxy P37

#p38 Source

p38 :: IProxy P38

#p39 Source

p39 :: IProxy P39

#p40 Source

p40 :: IProxy P40

#p41 Source

p41 :: IProxy P41

#p42 Source

p42 :: IProxy P42

#p43 Source

p43 :: IProxy P43

#p44 Source

p44 :: IProxy P44

#p45 Source

p45 :: IProxy P45

#p46 Source

p46 :: IProxy P46

#p47 Source

p47 :: IProxy P47

#p48 Source

p48 :: IProxy P48

#p49 Source

p49 :: IProxy P49

#p50 Source

p50 :: IProxy P50

#p51 Source

p51 :: IProxy P51

#p52 Source

p52 :: IProxy P52

#p53 Source

p53 :: IProxy P53

#p54 Source

p54 :: IProxy P54

#p55 Source

p55 :: IProxy P55

#p56 Source

p56 :: IProxy P56

#p57 Source

p57 :: IProxy P57

#p58 Source

p58 :: IProxy P58

#p59 Source

p59 :: IProxy P59

#p60 Source

p60 :: IProxy P60

#p61 Source

p61 :: IProxy P61

#p62 Source

p62 :: IProxy P62

#p63 Source

p63 :: IProxy P63

#p64 Source

p64 :: IProxy P64

#p65 Source

p65 :: IProxy P65

#p66 Source

p66 :: IProxy P66

#p67 Source

p67 :: IProxy P67

#p68 Source

p68 :: IProxy P68

#p69 Source

p69 :: IProxy P69

#p70 Source

p70 :: IProxy P70

#p71 Source

p71 :: IProxy P71

#p72 Source

p72 :: IProxy P72

#p73 Source

p73 :: IProxy P73

#p74 Source

p74 :: IProxy P74

#p75 Source

p75 :: IProxy P75

#p76 Source

p76 :: IProxy P76

#p77 Source

p77 :: IProxy P77

#p78 Source

p78 :: IProxy P78

#p79 Source

p79 :: IProxy P79

#p80 Source

p80 :: IProxy P80

#p81 Source

p81 :: IProxy P81

#p82 Source

p82 :: IProxy P82

#p83 Source

p83 :: IProxy P83

#p84 Source

p84 :: IProxy P84

#p85 Source

p85 :: IProxy P85

#p86 Source

p86 :: IProxy P86

#p87 Source

p87 :: IProxy P87

#p88 Source

p88 :: IProxy P88

#p89 Source

p89 :: IProxy P89

#p90 Source

p90 :: IProxy P90

#p91 Source

p91 :: IProxy P91

#p92 Source

p92 :: IProxy P92

#p93 Source

p93 :: IProxy P93

#p94 Source

p94 :: IProxy P94

#p95 Source

p95 :: IProxy P95

#p96 Source

p96 :: IProxy P96

#p97 Source

p97 :: IProxy P97

#p98 Source

p98 :: IProxy P98

#p99 Source

p99 :: IProxy P99

#p100 Source

p100 :: IProxy P100

#N0 Source

type N0 = Neg D0

#N1 Source

type N1 = Neg D1

#N2 Source

type N2 = Neg D2

#N3 Source

type N3 = Neg D3

#N4 Source

type N4 = Neg D4

#N5 Source

type N5 = Neg D5

#N6 Source

type N6 = Neg D6

#N7 Source

type N7 = Neg D7

#N8 Source

type N8 = Neg D8

#N9 Source

type N9 = Neg D9

#N10 Source

type N10 = Neg D10

#N11 Source

type N11 = Neg D11

#N12 Source

type N12 = Neg D12

#N13 Source

type N13 = Neg D13

#N14 Source

type N14 = Neg D14

#N15 Source

type N15 = Neg D15

#N16 Source

type N16 = Neg D16

#N17 Source

type N17 = Neg D17

#N18 Source

type N18 = Neg D18

#N19 Source

type N19 = Neg D19

#N20 Source

type N20 = Neg D20

#N21 Source

type N21 = Neg D21

#N22 Source

type N22 = Neg D22

#N23 Source

type N23 = Neg D23

#N24 Source

type N24 = Neg D24

#N25 Source

type N25 = Neg D25

#N26 Source

type N26 = Neg D26

#N27 Source

type N27 = Neg D27

#N28 Source

type N28 = Neg D28

#N29 Source

type N29 = Neg D29

#N30 Source

type N30 = Neg D30

#N31 Source

type N31 = Neg D31

#N32 Source

type N32 = Neg D32

#N33 Source

type N33 = Neg D33

#N34 Source

type N34 = Neg D34

#N35 Source

type N35 = Neg D35

#N36 Source

type N36 = Neg D36

#N37 Source

type N37 = Neg D37

#N38 Source

type N38 = Neg D38

#N39 Source

type N39 = Neg D39

#N40 Source

type N40 = Neg D40

#N41 Source

type N41 = Neg D41

#N42 Source

type N42 = Neg D42

#N43 Source

type N43 = Neg D43

#N44 Source

type N44 = Neg D44

#N45 Source

type N45 = Neg D45

#N46 Source

type N46 = Neg D46

#N47 Source

type N47 = Neg D47

#N48 Source

type N48 = Neg D48

#N49 Source

type N49 = Neg D49

#N50 Source

type N50 = Neg D50

#N51 Source

type N51 = Neg D51

#N52 Source

type N52 = Neg D52

#N53 Source

type N53 = Neg D53

#N54 Source

type N54 = Neg D54

#N55 Source

type N55 = Neg D55

#N56 Source

type N56 = Neg D56

#N57 Source

type N57 = Neg D57

#N58 Source

type N58 = Neg D58

#N59 Source

type N59 = Neg D59

#N60 Source

type N60 = Neg D60

#N61 Source

type N61 = Neg D61

#N62 Source

type N62 = Neg D62

#N63 Source

type N63 = Neg D63

#N64 Source

type N64 = Neg D64

#N65 Source

type N65 = Neg D65

#N66 Source

type N66 = Neg D66

#N67 Source

type N67 = Neg D67

#N68 Source

type N68 = Neg D68

#N69 Source

type N69 = Neg D69

#N70 Source

type N70 = Neg D70

#N71 Source

type N71 = Neg D71

#N72 Source

type N72 = Neg D72

#N73 Source

type N73 = Neg D73

#N74 Source

type N74 = Neg D74

#N75 Source

type N75 = Neg D75

#N76 Source

type N76 = Neg D76

#N77 Source

type N77 = Neg D77

#N78 Source

type N78 = Neg D78

#N79 Source

type N79 = Neg D79

#N80 Source

type N80 = Neg D80

#N81 Source

type N81 = Neg D81

#N82 Source

type N82 = Neg D82

#N83 Source

type N83 = Neg D83

#N84 Source

type N84 = Neg D84

#N85 Source

type N85 = Neg D85

#N86 Source

type N86 = Neg D86

#N87 Source

type N87 = Neg D87

#N88 Source

type N88 = Neg D88

#N89 Source

type N89 = Neg D89

#N90 Source

type N90 = Neg D90

#N91 Source

type N91 = Neg D91

#N92 Source

type N92 = Neg D92

#N93 Source

type N93 = Neg D93

#N94 Source

type N94 = Neg D94

#N95 Source

type N95 = Neg D95

#N96 Source

type N96 = Neg D96

#N97 Source

type N97 = Neg D97

#N98 Source

type N98 = Neg D98

#N99 Source

type N99 = Neg D99

#N100 Source

type N100 = Neg D100

#n0 Source

n0 :: IProxy N0

#n1 Source

n1 :: IProxy N1

#n2 Source

n2 :: IProxy N2

#n3 Source

n3 :: IProxy N3

#n4 Source

n4 :: IProxy N4

#n5 Source

n5 :: IProxy N5

#n6 Source

n6 :: IProxy N6

#n7 Source

n7 :: IProxy N7

#n8 Source

n8 :: IProxy N8

#n9 Source

n9 :: IProxy N9

#n10 Source

n10 :: IProxy N10

#n11 Source

n11 :: IProxy N11

#n12 Source

n12 :: IProxy N12

#n13 Source

n13 :: IProxy N13

#n14 Source

n14 :: IProxy N14

#n15 Source

n15 :: IProxy N15

#n16 Source

n16 :: IProxy N16

#n17 Source

n17 :: IProxy N17

#n18 Source

n18 :: IProxy N18

#n19 Source

n19 :: IProxy N19

#n20 Source

n20 :: IProxy N20

#n21 Source

n21 :: IProxy N21

#n22 Source

n22 :: IProxy N22

#n23 Source

n23 :: IProxy N23

#n24 Source

n24 :: IProxy N24

#n25 Source

n25 :: IProxy N25

#n26 Source

n26 :: IProxy N26

#n27 Source

n27 :: IProxy N27

#n28 Source

n28 :: IProxy N28

#n29 Source

n29 :: IProxy N29

#n30 Source

n30 :: IProxy N30

#n31 Source

n31 :: IProxy N31

#n32 Source

n32 :: IProxy N32

#n33 Source

n33 :: IProxy N33

#n34 Source

n34 :: IProxy N34

#n35 Source

n35 :: IProxy N35

#n36 Source

n36 :: IProxy N36

#n37 Source

n37 :: IProxy N37

#n38 Source

n38 :: IProxy N38

#n39 Source

n39 :: IProxy N39

#n40 Source

n40 :: IProxy N40

#n41 Source

n41 :: IProxy N41

#n42 Source

n42 :: IProxy N42

#n43 Source

n43 :: IProxy N43

#n44 Source

n44 :: IProxy N44

#n45 Source

n45 :: IProxy N45

#n46 Source

n46 :: IProxy N46

#n47 Source

n47 :: IProxy N47

#n48 Source

n48 :: IProxy N48

#n49 Source

n49 :: IProxy N49

#n50 Source

n50 :: IProxy N50

#n51 Source

n51 :: IProxy N51

#n52 Source

n52 :: IProxy N52

#n53 Source

n53 :: IProxy N53

#n54 Source

n54 :: IProxy N54

#n55 Source

n55 :: IProxy N55

#n56 Source

n56 :: IProxy N56

#n57 Source

n57 :: IProxy N57

#n58 Source

n58 :: IProxy N58

#n59 Source

n59 :: IProxy N59

#n60 Source

n60 :: IProxy N60

#n61 Source

n61 :: IProxy N61

#n62 Source

n62 :: IProxy N62

#n63 Source

n63 :: IProxy N63

#n64 Source

n64 :: IProxy N64

#n65 Source

n65 :: IProxy N65

#n66 Source

n66 :: IProxy N66

#n67 Source

n67 :: IProxy N67

#n68 Source

n68 :: IProxy N68

#n69 Source

n69 :: IProxy N69

#n70 Source

n70 :: IProxy N70

#n71 Source

n71 :: IProxy N71

#n72 Source

n72 :: IProxy N72

#n73 Source

n73 :: IProxy N73

#n74 Source

n74 :: IProxy N74

#n75 Source

n75 :: IProxy N75

#n76 Source

n76 :: IProxy N76

#n77 Source

n77 :: IProxy N77

#n78 Source

n78 :: IProxy N78

#n79 Source

n79 :: IProxy N79

#n80 Source

n80 :: IProxy N80

#n81 Source

n81 :: IProxy N81

#n82 Source

n82 :: IProxy N82

#n83 Source

n83 :: IProxy N83

#n84 Source

n84 :: IProxy N84

#n85 Source

n85 :: IProxy N85

#n86 Source

n86 :: IProxy N86

#n87 Source

n87 :: IProxy N87

#n88 Source

n88 :: IProxy N88

#n89 Source

n89 :: IProxy N89

#n90 Source

n90 :: IProxy N90

#n91 Source

n91 :: IProxy N91

#n92 Source

n92 :: IProxy N92

#n93 Source

n93 :: IProxy N93

#n94 Source

n94 :: IProxy N94

#n95 Source

n95 :: IProxy N95

#n96 Source

n96 :: IProxy N96

#n97 Source

n97 :: IProxy N97

#n98 Source

n98 :: IProxy N98

#n99 Source

n99 :: IProxy N99

#n100 Source

n100 :: IProxy N100

Modules: Type.Data.Peano; Type.Data.Peano.Int; Type.Data.Peano.Int.Definition; Type.Data.Peano.Int.Parse; Type.Data.Peano.Int.TypeAliases; Type.Data.Peano.Nat; Type.Data.Peano.Nat.Definition; Type.Data.Peano.Nat.Parse; Type.Data.Peano.Nat.TypeAliases