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 :: forall proxy. proxy P0

#p1 Source

p1 :: forall proxy. proxy P1

#p2 Source

p2 :: forall proxy. proxy P2

#p3 Source

p3 :: forall proxy. proxy P3

#p4 Source

p4 :: forall proxy. proxy P4

#p5 Source

p5 :: forall proxy. proxy P5

#p6 Source

p6 :: forall proxy. proxy P6

#p7 Source

p7 :: forall proxy. proxy P7

#p8 Source

p8 :: forall proxy. proxy P8

#p9 Source

p9 :: forall proxy. proxy P9

#p10 Source

p10 :: forall proxy. proxy P10

#p11 Source

p11 :: forall proxy. proxy P11

#p12 Source

p12 :: forall proxy. proxy P12

#p13 Source

p13 :: forall proxy. proxy P13

#p14 Source

p14 :: forall proxy. proxy P14

#p15 Source

p15 :: forall proxy. proxy P15

#p16 Source

p16 :: forall proxy. proxy P16

#p17 Source

p17 :: forall proxy. proxy P17

#p18 Source

p18 :: forall proxy. proxy P18

#p19 Source

p19 :: forall proxy. proxy P19

#p20 Source

p20 :: forall proxy. proxy P20

#p21 Source

p21 :: forall proxy. proxy P21

#p22 Source

p22 :: forall proxy. proxy P22

#p23 Source

p23 :: forall proxy. proxy P23

#p24 Source

p24 :: forall proxy. proxy P24

#p25 Source

p25 :: forall proxy. proxy P25

#p26 Source

p26 :: forall proxy. proxy P26

#p27 Source

p27 :: forall proxy. proxy P27

#p28 Source

p28 :: forall proxy. proxy P28

#p29 Source

p29 :: forall proxy. proxy P29

#p30 Source

p30 :: forall proxy. proxy P30

#p31 Source

p31 :: forall proxy. proxy P31

#p32 Source

p32 :: forall proxy. proxy P32

#p33 Source

p33 :: forall proxy. proxy P33

#p34 Source

p34 :: forall proxy. proxy P34

#p35 Source

p35 :: forall proxy. proxy P35

#p36 Source

p36 :: forall proxy. proxy P36

#p37 Source

p37 :: forall proxy. proxy P37

#p38 Source

p38 :: forall proxy. proxy P38

#p39 Source

p39 :: forall proxy. proxy P39

#p40 Source

p40 :: forall proxy. proxy P40

#p41 Source

p41 :: forall proxy. proxy P41

#p42 Source

p42 :: forall proxy. proxy P42

#p43 Source

p43 :: forall proxy. proxy P43

#p44 Source

p44 :: forall proxy. proxy P44

#p45 Source

p45 :: forall proxy. proxy P45

#p46 Source

p46 :: forall proxy. proxy P46

#p47 Source

p47 :: forall proxy. proxy P47

#p48 Source

p48 :: forall proxy. proxy P48

#p49 Source

p49 :: forall proxy. proxy P49

#p50 Source

p50 :: forall proxy. proxy P50

#p51 Source

p51 :: forall proxy. proxy P51

#p52 Source

p52 :: forall proxy. proxy P52

#p53 Source

p53 :: forall proxy. proxy P53

#p54 Source

p54 :: forall proxy. proxy P54

#p55 Source

p55 :: forall proxy. proxy P55

#p56 Source

p56 :: forall proxy. proxy P56

#p57 Source

p57 :: forall proxy. proxy P57

#p58 Source

p58 :: forall proxy. proxy P58

#p59 Source

p59 :: forall proxy. proxy P59

#p60 Source

p60 :: forall proxy. proxy P60

#p61 Source

p61 :: forall proxy. proxy P61

#p62 Source

p62 :: forall proxy. proxy P62

#p63 Source

p63 :: forall proxy. proxy P63

#p64 Source

p64 :: forall proxy. proxy P64

#p65 Source

p65 :: forall proxy. proxy P65

#p66 Source

p66 :: forall proxy. proxy P66

#p67 Source

p67 :: forall proxy. proxy P67

#p68 Source

p68 :: forall proxy. proxy P68

#p69 Source

p69 :: forall proxy. proxy P69

#p70 Source

p70 :: forall proxy. proxy P70

#p71 Source

p71 :: forall proxy. proxy P71

#p72 Source

p72 :: forall proxy. proxy P72

#p73 Source

p73 :: forall proxy. proxy P73

#p74 Source

p74 :: forall proxy. proxy P74

#p75 Source

p75 :: forall proxy. proxy P75

#p76 Source

p76 :: forall proxy. proxy P76

#p77 Source

p77 :: forall proxy. proxy P77

#p78 Source

p78 :: forall proxy. proxy P78

#p79 Source

p79 :: forall proxy. proxy P79

#p80 Source

p80 :: forall proxy. proxy P80

#p81 Source

p81 :: forall proxy. proxy P81

#p82 Source

p82 :: forall proxy. proxy P82

#p83 Source

p83 :: forall proxy. proxy P83

#p84 Source

p84 :: forall proxy. proxy P84

#p85 Source

p85 :: forall proxy. proxy P85

#p86 Source

p86 :: forall proxy. proxy P86

#p87 Source

p87 :: forall proxy. proxy P87

#p88 Source

p88 :: forall proxy. proxy P88

#p89 Source

p89 :: forall proxy. proxy P89

#p90 Source

p90 :: forall proxy. proxy P90

#p91 Source

p91 :: forall proxy. proxy P91

#p92 Source

p92 :: forall proxy. proxy P92

#p93 Source

p93 :: forall proxy. proxy P93

#p94 Source

p94 :: forall proxy. proxy P94

#p95 Source

p95 :: forall proxy. proxy P95

#p96 Source

p96 :: forall proxy. proxy P96

#p97 Source

p97 :: forall proxy. proxy P97

#p98 Source

p98 :: forall proxy. proxy P98

#p99 Source

p99 :: forall proxy. proxy P99

#p100 Source

p100 :: forall proxy. proxy 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 :: forall proxy. proxy N0

#n1 Source

n1 :: forall proxy. proxy N1

#n2 Source

n2 :: forall proxy. proxy N2

#n3 Source

n3 :: forall proxy. proxy N3

#n4 Source

n4 :: forall proxy. proxy N4

#n5 Source

n5 :: forall proxy. proxy N5

#n6 Source

n6 :: forall proxy. proxy N6

#n7 Source

n7 :: forall proxy. proxy N7

#n8 Source

n8 :: forall proxy. proxy N8

#n9 Source

n9 :: forall proxy. proxy N9

#n10 Source

n10 :: forall proxy. proxy N10

#n11 Source

n11 :: forall proxy. proxy N11

#n12 Source

n12 :: forall proxy. proxy N12

#n13 Source

n13 :: forall proxy. proxy N13

#n14 Source

n14 :: forall proxy. proxy N14

#n15 Source

n15 :: forall proxy. proxy N15

#n16 Source

n16 :: forall proxy. proxy N16

#n17 Source

n17 :: forall proxy. proxy N17

#n18 Source

n18 :: forall proxy. proxy N18

#n19 Source

n19 :: forall proxy. proxy N19

#n20 Source

n20 :: forall proxy. proxy N20

#n21 Source

n21 :: forall proxy. proxy N21

#n22 Source

n22 :: forall proxy. proxy N22

#n23 Source

n23 :: forall proxy. proxy N23

#n24 Source

n24 :: forall proxy. proxy N24

#n25 Source

n25 :: forall proxy. proxy N25

#n26 Source

n26 :: forall proxy. proxy N26

#n27 Source

n27 :: forall proxy. proxy N27

#n28 Source

n28 :: forall proxy. proxy N28

#n29 Source

n29 :: forall proxy. proxy N29

#n30 Source

n30 :: forall proxy. proxy N30

#n31 Source

n31 :: forall proxy. proxy N31

#n32 Source

n32 :: forall proxy. proxy N32

#n33 Source

n33 :: forall proxy. proxy N33

#n34 Source

n34 :: forall proxy. proxy N34

#n35 Source

n35 :: forall proxy. proxy N35

#n36 Source

n36 :: forall proxy. proxy N36

#n37 Source

n37 :: forall proxy. proxy N37

#n38 Source

n38 :: forall proxy. proxy N38

#n39 Source

n39 :: forall proxy. proxy N39

#n40 Source

n40 :: forall proxy. proxy N40

#n41 Source

n41 :: forall proxy. proxy N41

#n42 Source

n42 :: forall proxy. proxy N42

#n43 Source

n43 :: forall proxy. proxy N43

#n44 Source

n44 :: forall proxy. proxy N44

#n45 Source

n45 :: forall proxy. proxy N45

#n46 Source

n46 :: forall proxy. proxy N46

#n47 Source

n47 :: forall proxy. proxy N47

#n48 Source

n48 :: forall proxy. proxy N48

#n49 Source

n49 :: forall proxy. proxy N49

#n50 Source

n50 :: forall proxy. proxy N50

#n51 Source

n51 :: forall proxy. proxy N51

#n52 Source

n52 :: forall proxy. proxy N52

#n53 Source

n53 :: forall proxy. proxy N53

#n54 Source

n54 :: forall proxy. proxy N54

#n55 Source

n55 :: forall proxy. proxy N55

#n56 Source

n56 :: forall proxy. proxy N56

#n57 Source

n57 :: forall proxy. proxy N57

#n58 Source

n58 :: forall proxy. proxy N58

#n59 Source

n59 :: forall proxy. proxy N59

#n60 Source

n60 :: forall proxy. proxy N60

#n61 Source

n61 :: forall proxy. proxy N61

#n62 Source

n62 :: forall proxy. proxy N62

#n63 Source

n63 :: forall proxy. proxy N63

#n64 Source

n64 :: forall proxy. proxy N64

#n65 Source

n65 :: forall proxy. proxy N65

#n66 Source

n66 :: forall proxy. proxy N66

#n67 Source

n67 :: forall proxy. proxy N67

#n68 Source

n68 :: forall proxy. proxy N68

#n69 Source

n69 :: forall proxy. proxy N69

#n70 Source

n70 :: forall proxy. proxy N70

#n71 Source

n71 :: forall proxy. proxy N71

#n72 Source

n72 :: forall proxy. proxy N72

#n73 Source

n73 :: forall proxy. proxy N73

#n74 Source

n74 :: forall proxy. proxy N74

#n75 Source

n75 :: forall proxy. proxy N75

#n76 Source

n76 :: forall proxy. proxy N76

#n77 Source

n77 :: forall proxy. proxy N77

#n78 Source

n78 :: forall proxy. proxy N78

#n79 Source

n79 :: forall proxy. proxy N79

#n80 Source

n80 :: forall proxy. proxy N80

#n81 Source

n81 :: forall proxy. proxy N81

#n82 Source

n82 :: forall proxy. proxy N82

#n83 Source

n83 :: forall proxy. proxy N83

#n84 Source

n84 :: forall proxy. proxy N84

#n85 Source

n85 :: forall proxy. proxy N85

#n86 Source

n86 :: forall proxy. proxy N86

#n87 Source

n87 :: forall proxy. proxy N87

#n88 Source

n88 :: forall proxy. proxy N88

#n89 Source

n89 :: forall proxy. proxy N89

#n90 Source

n90 :: forall proxy. proxy N90

#n91 Source

n91 :: forall proxy. proxy N91

#n92 Source

n92 :: forall proxy. proxy N92

#n93 Source

n93 :: forall proxy. proxy N93

#n94 Source

n94 :: forall proxy. proxy N94

#n95 Source

n95 :: forall proxy. proxy N95

#n96 Source

n96 :: forall proxy. proxy N96

#n97 Source

n97 :: forall proxy. proxy N97

#n98 Source

n98 :: forall proxy. proxy N98

#n99 Source

n99 :: forall proxy. proxy N99

#n100 Source

n100 :: forall proxy. proxy 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