| Copyright | Luka Rahne |
|---|---|
| License | LGPL-3 (see the file LICENSE) |
| Maintainer | Luka Rahne <luka.rahne@gmail.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
System.RedPitaya.Bus.CoreBind
Description
- type BuildThC a b = (KnownNat b, KnownNat (BitSize a), BitPack a, BitSize a ~ b)
- type BuildThModC a b c d = (KnownNat a, KnownNat b, KnownNat c, KnownNat (b * 32), ((b * 32) + c) ~ a, (c + d) ~ 32)
- type BusBuildC a a1 a2 a3 a4 = (BuildThC a a1, BuildThModC a1 a2 a3 a4)
- busBuild :: forall adr a a1 a2 a3 a4 b b1 b2 b3 b4. (BusBuildC a a1 a2 a3 a4, BusBuildC b b1 b2 b3 b4, KnownNat b4) => (SNat a2, SNat a3, SNat b2, SNat b3) -> (Signal a -> Signal b) -> Signal BusIn -> Signal BusOut
- bTQ :: forall a a1 b b1. (BuildThC a a1, BuildThC b b1) => (Signal a -> Signal b) -> ExpQ
Documentation
type BuildThC a b = (KnownNat b, KnownNat (BitSize a), BitPack a, BitSize a ~ b) Source #
constraint for defining type being BitPack
type BuildThModC a b c d = (KnownNat a, KnownNat b, KnownNat c, KnownNat (b * 32), ((b * 32) + c) ~ a, (c + d) ~ 32) Source #
type BusBuildC a a1 a2 a3 a4 = (BuildThC a a1, BuildThModC a1 a2 a3 a4) Source #
constraint BuildThModC and BuildThC