lambdaya-bus-0.0.0.2: Fpga bus core and serialization for RedPitaya

CopyrightLuka Rahne
LicenseLGPL-3 (see the file LICENSE)
MaintainerLuka Rahne <luka.rahne@gmail.com>
Safe HaskellNone
LanguageHaskell2010

System.RedPitaya.Bus.CoreBind

Description

 

Synopsis

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

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 Source #

bTQ :: forall a a1 b b1. (BuildThC a a1, BuildThC b b1) => (Signal a -> Signal b) -> ExpQ Source #

Template that helps deducing first argument of function busBuild