york-lava-0.1: A library for circuit description.

Lava.Vector

Description

Modest library for statically-typed sized vectors, inspired by Oleg Kiselyov's "Number-Parameterized Types", The Monad.Reader, Issue 5. Type synonyms N0 to N255 exported along with zero (Z) and successor (S). Values n0 to n255 with types N0 to N255 are also exported.

Documentation

vempty :: Vec Z aSource

(+>) :: a -> Vec n a -> Vec (S n) aSource

(<+) :: Vec n a -> a -> Vec (S n) aSource

velems :: Vec n a -> [a]Source

vsize :: Vec n a -> nSource

sized :: N n => (Int -> Vec n a) -> Vec n aSource

vec :: N n => [a] -> Vec n aSource

vecOf :: N n => a -> Vec n aSource

ofSize :: Vec n a -> n -> Vec n aSource

sameSize :: Vec n a -> Vec n a -> Vec n aSource

vecn :: N n => n -> [a] -> Vec n aSource

vextend :: N m => a -> Vec n a -> Vec m aSource

vsingle :: a -> Vec N1 aSource

vhead :: Vec (S n) a -> aSource

vtail :: Vec (S n) a -> Vec n aSource

vlast :: Vec (S n) a -> aSource

vinit :: Vec (S n) a -> Vec n aSource

vlength :: Vec n a -> Int Source

vmap :: (a -> b) -> Vec n a -> Vec n bSource

vzipWith :: (a -> b -> c) -> Vec n a -> Vec n b -> Vec n cSource

vreverse :: Vec n a -> Vec n aSource

vfoldl :: (a -> b -> a) -> a -> Vec n b -> aSource

vfoldr :: (a -> b -> b) -> b -> Vec n a -> bSource

vmapAccumL :: (a -> b -> (a, c)) -> a -> Vec n b -> (a, Vec n c)Source

vmapAccumR :: (a -> b -> (a, c)) -> a -> Vec n b -> (a, Vec n c)Source

(<++>) :: Add n m o => Vec n a -> Vec m a -> Vec o aSource

vconcat :: Mul n m o => Vec n (Vec m a) -> Vec o aSource

vat :: (N n, Less n m) => Vec m a -> n -> aSource

vtake :: N n => n -> Vec m a -> Vec n aSource

vdrop :: (N n, Add n o m) => n -> Vec m a -> Vec o aSource

vsplitAt :: (N m, Add m n o) => m -> Vec o a -> (Vec m a, Vec n a)Source

vgroup :: (N n, Mul n o m) => n -> Vec m a -> Vec o (Vec n a)Source

vtranspose :: Vec n (Vec m a) -> Vec m (Vec n a)Source

vshr :: a -> Vec n a -> Vec n aSource

vshl :: Vec n a -> a -> Vec n aSource

vreplicate :: N n => n -> a -> Vec n aSource

vrepeat :: N n => a -> Vec n aSource

vsequence :: Monad m => Vec n (m a) -> m (Vec n a)Source

vrigid :: N n => Vec n a -> Vec n aSource

type N0 = Z Source

type N1 = S N0 Source

type N2 = S N1 Source

type N3 = S N2 Source

type N4 = S N3 Source

type N5 = S N4 Source

type N6 = S N5 Source

type N7 = S N6 Source

type N8 = S N7 Source

type N9 = S N8 Source

type N10 = S N9 Source

type N11 = S N10 Source

type N12 = S N11 Source

type N13 = S N12 Source

type N14 = S N13 Source

type N15 = S N14 Source

type N16 = S N15 Source

type N17 = S N16 Source

type N18 = S N17 Source

type N19 = S N18 Source

type N20 = S N19 Source

type N21 = S N20 Source

type N22 = S N21 Source

type N23 = S N22 Source

type N24 = S N23 Source

type N25 = S N24 Source

type N26 = S N25 Source

type N27 = S N26 Source

type N28 = S N27 Source

type N29 = S N28 Source

type N30 = S N29 Source

type N31 = S N30 Source

type N32 = S N31 Source

type N33 = S N32 Source

type N34 = S N33 Source

type N35 = S N34 Source

type N36 = S N35 Source

type N37 = S N36 Source

type N38 = S N37 Source

type N39 = S N38 Source

type N40 = S N39 Source

type N41 = S N40 Source

type N42 = S N41 Source

type N43 = S N42 Source

type N44 = S N43 Source

type N45 = S N44 Source

type N46 = S N45 Source

type N47 = S N46 Source

type N48 = S N47 Source

type N49 = S N48 Source

type N50 = S N49 Source

type N51 = S N50 Source

type N52 = S N51 Source

type N53 = S N52 Source

type N54 = S N53 Source

type N55 = S N54 Source

type N56 = S N55 Source

type N57 = S N56 Source

type N58 = S N57 Source

type N59 = S N58 Source

type N60 = S N59 Source

type N61 = S N60 Source

type N62 = S N61 Source

type N63 = S N62 Source

type N64 = S N63 Source

type N65 = S N64 Source

type N66 = S N65 Source

type N67 = S N66 Source

type N68 = S N67 Source

type N69 = S N68 Source

type N70 = S N69 Source

type N71 = S N70 Source

type N72 = S N71 Source

type N73 = S N72 Source

type N74 = S N73 Source

type N75 = S N74 Source

type N76 = S N75 Source

type N77 = S N76 Source

type N78 = S N77 Source

type N79 = S N78 Source

type N80 = S N79 Source

type N81 = S N80 Source

type N82 = S N81 Source

type N83 = S N82 Source

type N84 = S N83 Source

type N85 = S N84 Source

type N86 = S N85 Source

type N87 = S N86 Source

type N88 = S N87 Source

type N89 = S N88 Source

type N90 = S N89 Source

type N91 = S N90 Source

type N92 = S N91 Source

type N93 = S N92 Source

type N94 = S N93 Source

type N95 = S N94 Source

type N96 = S N95 Source

type N97 = S N96 Source

type N98 = S N97 Source

type N99 = S N98 Source

type N100 = S N99 Source

type N101 = S N100 Source

type N102 = S N101 Source

type N103 = S N102 Source

type N104 = S N103 Source

type N105 = S N104 Source

type N106 = S N105 Source

type N107 = S N106 Source

type N108 = S N107 Source

type N109 = S N108 Source

type N110 = S N109 Source

type N111 = S N110 Source

type N112 = S N111 Source

type N113 = S N112 Source

type N114 = S N113 Source

type N115 = S N114 Source

type N116 = S N115 Source

type N117 = S N116 Source

type N118 = S N117 Source

type N119 = S N118 Source

type N120 = S N119 Source

type N121 = S N120 Source

type N122 = S N121 Source

type N123 = S N122 Source

type N124 = S N123 Source

type N125 = S N124 Source

type N126 = S N125 Source

type N127 = S N126 Source

type N128 = S N127 Source

type N129 = S N128 Source

type N130 = S N129 Source

type N131 = S N130 Source

type N132 = S N131 Source

type N133 = S N132 Source

type N134 = S N133 Source

type N135 = S N134 Source

type N136 = S N135 Source

type N137 = S N136 Source

type N138 = S N137 Source

type N139 = S N138 Source

type N140 = S N139 Source

type N141 = S N140 Source

type N142 = S N141 Source

type N143 = S N142 Source

type N144 = S N143 Source

type N145 = S N144 Source

type N146 = S N145 Source

type N147 = S N146 Source

type N148 = S N147 Source

type N149 = S N148 Source

type N150 = S N149 Source

type N151 = S N150 Source

type N152 = S N151 Source

type N153 = S N152 Source

type N154 = S N153 Source

type N155 = S N154 Source

type N156 = S N155 Source

type N157 = S N156 Source

type N158 = S N157 Source

type N159 = S N158 Source

type N160 = S N159 Source

type N161 = S N160 Source

type N162 = S N161 Source

type N163 = S N162 Source

type N164 = S N163 Source

type N165 = S N164 Source

type N166 = S N165 Source

type N167 = S N166 Source

type N168 = S N167 Source

type N169 = S N168 Source

type N170 = S N169 Source

type N171 = S N170 Source

type N172 = S N171 Source

type N173 = S N172 Source

type N174 = S N173 Source

type N175 = S N174 Source

type N176 = S N175 Source

type N177 = S N176 Source

type N178 = S N177 Source

type N179 = S N178 Source

type N180 = S N179 Source

type N181 = S N180 Source

type N182 = S N181 Source

type N183 = S N182 Source

type N184 = S N183 Source

type N185 = S N184 Source

type N186 = S N185 Source

type N187 = S N186 Source

type N188 = S N187 Source

type N189 = S N188 Source

type N190 = S N189 Source

type N191 = S N190 Source

type N192 = S N191 Source

type N193 = S N192 Source

type N194 = S N193 Source

type N195 = S N194 Source

type N196 = S N195 Source

type N197 = S N196 Source

type N198 = S N197 Source

type N199 = S N198 Source

type N200 = S N199 Source

type N201 = S N200 Source

type N202 = S N201 Source

type N203 = S N202 Source

type N204 = S N203 Source

type N205 = S N204 Source

type N206 = S N205 Source

type N207 = S N206 Source

type N208 = S N207 Source

type N209 = S N208 Source

type N210 = S N209 Source

type N211 = S N210 Source

type N212 = S N211 Source

type N213 = S N212 Source

type N214 = S N213 Source

type N215 = S N214 Source

type N216 = S N215 Source

type N217 = S N216 Source

type N218 = S N217 Source

type N219 = S N218 Source

type N220 = S N219 Source

type N221 = S N220 Source

type N222 = S N221 Source

type N223 = S N222 Source

type N224 = S N223 Source

type N225 = S N224 Source

type N226 = S N225 Source

type N227 = S N226 Source

type N228 = S N227 Source

type N229 = S N228 Source

type N230 = S N229 Source

type N231 = S N230 Source

type N232 = S N231 Source

type N233 = S N232 Source

type N234 = S N233 Source

type N235 = S N234 Source

type N236 = S N235 Source

type N237 = S N236 Source

type N238 = S N237 Source

type N239 = S N238 Source

type N240 = S N239 Source

type N241 = S N240 Source

type N242 = S N241 Source

type N243 = S N242 Source

type N244 = S N243 Source

type N245 = S N244 Source

type N246 = S N245 Source

type N247 = S N246 Source

type N248 = S N247 Source

type N249 = S N248 Source

type N250 = S N249 Source

type N251 = S N250 Source

type N252 = S N251 Source

type N253 = S N252 Source

type N254 = S N253 Source

type N255 = S N254 Source

n0 :: N0 Source

n1 :: N1 Source

n2 :: N2 Source

n3 :: N3 Source

n4 :: N4 Source

n5 :: N5 Source

n6 :: N6 Source

n7 :: N7 Source

n8 :: N8 Source

n9 :: N9 Source

n10 :: N10 Source

n11 :: N11 Source

n12 :: N12 Source

n13 :: N13 Source

n14 :: N14 Source

n15 :: N15 Source

n16 :: N16 Source

n17 :: N17 Source

n18 :: N18 Source

n19 :: N19 Source

n20 :: N20 Source

n21 :: N21 Source

n22 :: N22 Source

n23 :: N23 Source

n24 :: N24 Source

n25 :: N25 Source

n26 :: N26 Source

n27 :: N27 Source

n28 :: N28 Source

n29 :: N29 Source

n30 :: N30 Source

n31 :: N31 Source

n32 :: N32 Source

n33 :: N33 Source

n34 :: N34 Source

n35 :: N35 Source

n36 :: N36 Source

n37 :: N37 Source

n38 :: N38 Source

n39 :: N39 Source

n40 :: N40 Source

n41 :: N41 Source

n42 :: N42 Source

n43 :: N43 Source

n44 :: N44 Source

n45 :: N45 Source

n46 :: N46 Source

n47 :: N47 Source

n48 :: N48 Source

n49 :: N49 Source

n50 :: N50 Source

n51 :: N51 Source

n52 :: N52 Source

n53 :: N53 Source

n54 :: N54 Source

n55 :: N55 Source

n56 :: N56 Source

n57 :: N57 Source

n58 :: N58 Source

n59 :: N59 Source

n60 :: N60 Source

n61 :: N61 Source

n62 :: N62 Source

n63 :: N63 Source

n64 :: N64 Source

n65 :: N65 Source

n66 :: N66 Source

n67 :: N67 Source

n68 :: N68 Source

n69 :: N69 Source

n70 :: N70 Source

n71 :: N71 Source

n72 :: N72 Source

n73 :: N73 Source

n74 :: N74 Source

n75 :: N75 Source

n76 :: N76 Source

n77 :: N77 Source

n78 :: N78 Source

n79 :: N79 Source

n80 :: N80 Source

n81 :: N81 Source

n82 :: N82 Source

n83 :: N83 Source

n84 :: N84 Source

n85 :: N85 Source

n86 :: N86 Source

n87 :: N87 Source

n88 :: N88 Source

n89 :: N89 Source

n90 :: N90 Source

n91 :: N91 Source

n92 :: N92 Source

n93 :: N93 Source

n94 :: N94 Source

n95 :: N95 Source

n96 :: N96 Source

n97 :: N97 Source

n98 :: N98 Source

n99 :: N99 Source

n100 :: N100 Source

n101 :: N101 Source

n102 :: N102 Source

n103 :: N103 Source

n104 :: N104 Source

n105 :: N105 Source

n106 :: N106 Source

n107 :: N107 Source

n108 :: N108 Source

n109 :: N109 Source

n110 :: N110 Source

n111 :: N111 Source

n112 :: N112 Source

n113 :: N113 Source

n114 :: N114 Source

n115 :: N115 Source

n116 :: N116 Source

n117 :: N117 Source

n118 :: N118 Source

n119 :: N119 Source

n120 :: N120 Source

n121 :: N121 Source

n122 :: N122 Source

n123 :: N123 Source

n124 :: N124 Source

n125 :: N125 Source

n126 :: N126 Source

n127 :: N127 Source

n128 :: N128 Source

n129 :: N129 Source

n130 :: N130 Source

n131 :: N131 Source

n132 :: N132 Source

n133 :: N133 Source

n134 :: N134 Source

n135 :: N135 Source

n136 :: N136 Source

n137 :: N137 Source

n138 :: N138 Source

n139 :: N139 Source

n140 :: N140 Source

n141 :: N141 Source

n142 :: N142 Source

n143 :: N143 Source

n144 :: N144 Source

n145 :: N145 Source

n146 :: N146 Source

n147 :: N147 Source

n148 :: N148 Source

n149 :: N149 Source

n150 :: N150 Source

n151 :: N151 Source

n152 :: N152 Source

n153 :: N153 Source

n154 :: N154 Source

n155 :: N155 Source

n156 :: N156 Source

n157 :: N157 Source

n158 :: N158 Source

n159 :: N159 Source

n160 :: N160 Source

n161 :: N161 Source

n162 :: N162 Source

n163 :: N163 Source

n164 :: N164 Source

n165 :: N165 Source

n166 :: N166 Source

n167 :: N167 Source

n168 :: N168 Source

n169 :: N169 Source

n170 :: N170 Source

n171 :: N171 Source

n172 :: N172 Source

n173 :: N173 Source

n174 :: N174 Source

n175 :: N175 Source

n176 :: N176 Source

n177 :: N177 Source

n178 :: N178 Source

n179 :: N179 Source

n180 :: N180 Source

n181 :: N181 Source

n182 :: N182 Source

n183 :: N183 Source

n184 :: N184 Source

n185 :: N185 Source

n186 :: N186 Source

n187 :: N187 Source

n188 :: N188 Source

n189 :: N189 Source

n190 :: N190 Source

n191 :: N191 Source

n192 :: N192 Source

n193 :: N193 Source

n194 :: N194 Source

n195 :: N195 Source

n196 :: N196 Source

n197 :: N197 Source

n198 :: N198 Source

n199 :: N199 Source

n200 :: N200 Source

n201 :: N201 Source

n202 :: N202 Source

n203 :: N203 Source

n204 :: N204 Source

n205 :: N205 Source

n206 :: N206 Source

n207 :: N207 Source

n208 :: N208 Source

n209 :: N209 Source

n210 :: N210 Source

n211 :: N211 Source

n212 :: N212 Source

n213 :: N213 Source

n214 :: N214 Source

n215 :: N215 Source

n216 :: N216 Source

n217 :: N217 Source

n218 :: N218 Source

n219 :: N219 Source

n220 :: N220 Source

n221 :: N221 Source

n222 :: N222 Source

n223 :: N223 Source

n224 :: N224 Source

n225 :: N225 Source

n226 :: N226 Source

n227 :: N227 Source

n228 :: N228 Source

n229 :: N229 Source

n230 :: N230 Source

n231 :: N231 Source

n232 :: N232 Source

n233 :: N233 Source

n234 :: N234 Source

n235 :: N235 Source

n236 :: N236 Source

n237 :: N237 Source

n238 :: N238 Source

n239 :: N239 Source

n240 :: N240 Source

n241 :: N241 Source

n242 :: N242 Source

n243 :: N243 Source

n244 :: N244 Source

n245 :: N245 Source

n246 :: N246 Source

n247 :: N247 Source

n248 :: N248 Source

n249 :: N249 Source

n250 :: N250 Source

n251 :: N251 Source

n252 :: N252 Source

n253 :: N253 Source

n254 :: N254 Source

n255 :: N255 Source

Instances

N Z
Mul Z b Z
Add Z b b
Less Z (S a)

data S a Source

Instances

Less Z (S a)
N a => N (S a)
(Mul a b x, Add x b c) => Mul (S a) b c
Add a b c => Add (S a) b (S c)
Less a b => Less (S a) (S b)

newtype Vec n a Source

Constructors

Vec [a]

Instances

Functor (Vec n)
Eq (Vec n Bit)
N n => Num (Vec n Bit)
Show a => Show (Vec n a)
Generic a => Generic (Vec n a)
Ordered (Vec n Bit)

class N a whereSource

Methods

value :: a -> Int Source

Instances

N Z
N a => N (S a)

class Add a b c | a b -> cSource

Instances

Add Z b b
Add a b c => Add (S a) b (S c)

class Mul a b c | a b -> cSource

Instances

Mul Z b Z
(Mul a b x, Add x b c) => Mul (S a) b c

class Less a b Source

Instances

Less Z (S a)
Less a b => Less (S a) (S b)