| Copyright | (c) Matthew Naylor 2019 |
|---|---|
| License | MIT |
| Maintainer | mattfn@gmail.com |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
Blarney.Core.Lookup
Description
Documentation
class Lookup c i e | c -> e where Source #
Index a collection c of elements e using index i
Instances
| Interface a => Lookup [a] OneHotList a # | Index a list using a one-hot bit list |
Defined in Blarney.Core.Lookup Methods (!) :: [a] -> OneHotList -> a Source # | |
| Lookup [a] Integer a # | Index a list using an |
Defined in Blarney.Core.Lookup | |
| Lookup [a] Int a # | Index a list using an |
Defined in Blarney.Core.Lookup | |
| Lookup (Bit n) OneHotList (Bit 1) # | Index a bit vector using a one-hot bit list |
Defined in Blarney.Core.Lookup | |
| Lookup (Bit n) Integer (Bit 1) # | Index a bit vector using an Integer |
| Lookup (Bit n) Int (Bit 1) # | Index a bit vector using an Int |
| (Interface a, KnownNat n) => Lookup [a] (Bit n) a # | Index a list using a bit vector |
Defined in Blarney.Core.Lookup | |
| KnownNat m => Lookup (Bit n) (Bit m) (Bit 1) # | Index a bit vector using a bit vector |
| Lookup (RegFile a d) a d # | Index a register file |
Defined in Blarney.Core.Lookup | |
| Lookup (Vec m a) Integer a # | Index a vector using an |
| Lookup (Vec m a) Int a # | Index a vector using an |
| (Interface a, KnownNat n) => Lookup (Vec m a) (Bit n) a # | Index a vector using a bit vector |