clash-prelude-1.7.0: Clash: a functional hardware description language - Prelude library
Copyright© 2015-2016 Christiaan Baaij
2017 Google Inc.
2019 Myrtle Software Ltd
LicenseCreative Commons 4.0 (CC BY 4.0) (https://creativecommons.org/licenses/by/4.0/)
Safe HaskellNone
LanguageHaskell2010

Clash.Examples.Internal

Description

 

Documentation

decoderCase :: Bool -> BitVector 4 -> BitVector 16 Source #

decoderShift :: Bool -> BitVector 4 -> BitVector 16 Source #

encoderCase :: Bool -> BitVector 16 -> BitVector 4 Source #

upCounter :: HiddenClockResetEnable dom => Signal dom Bool -> Signal dom (Unsigned 8) Source #

upCounterLdT :: Num a => a -> (Bool, Bool, a) -> (a, a) Source #

upCounterLd :: HiddenClockResetEnable dom => Signal dom (Bool, Bool, Unsigned 8) -> Signal dom (Unsigned 8) Source #

upDownCounter :: HiddenClockResetEnable dom => Signal dom Bool -> Signal dom (Unsigned 8) Source #

lfsrF' :: BitVector 16 -> BitVector 16 Source #

lfsrF :: HiddenClockResetEnable dom => BitVector 16 -> Signal dom Bit Source #

lfsrGP :: (KnownNat (n + 1), Bits a) => Vec (n + 1) Bool -> Vec (n + 1) a -> Vec (n + 1) a Source #

lfsrG :: HiddenClockResetEnable dom => BitVector 16 -> Signal dom Bit Source #

grayCounter :: HiddenClockResetEnable dom => Signal dom Bool -> Signal dom (BitVector 8) Source #

oneHotCounter :: HiddenClockResetEnable dom => Signal dom Bool -> Signal dom (BitVector 8) Source #

crcT :: (Bits a, BitPack a) => a -> Bit -> a Source #

crc :: HiddenClockResetEnable dom => Signal dom Bool -> Signal dom Bool -> Signal dom Bit -> Signal dom (BitVector 16) Source #

data RxReg Source #

Constructors

RxReg 

Fields

Instances

Instances details
Generic RxReg Source # 
Instance details

Defined in Clash.Examples.Internal

Associated Types

type Rep RxReg :: Type -> Type #

Methods

from :: RxReg -> Rep RxReg x #

to :: Rep RxReg x -> RxReg #

NFDataX RxReg Source # 
Instance details

Defined in Clash.Examples.Internal

Methods

deepErrorX :: String -> RxReg Source #

hasUndefined :: RxReg -> Bool Source #

ensureSpine :: RxReg -> RxReg Source #

rnfX :: RxReg -> () Source #

type Rep RxReg Source # 
Instance details

Defined in Clash.Examples.Internal

type Rep RxReg = D1 ('MetaData "RxReg" "Clash.Examples.Internal" "clash-prelude-1.7.0-inplace" 'False) (C1 ('MetaCons "RxReg" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_rx_reg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 8)) :*: S1 ('MetaSel ('Just "_rx_data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 8))) :*: (S1 ('MetaSel ('Just "_rx_sample_cnt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Unsigned 4)) :*: (S1 ('MetaSel ('Just "_rx_cnt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Unsigned 4)) :*: S1 ('MetaSel ('Just "_rx_frame_err") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :*: ((S1 ('MetaSel ('Just "_rx_over_run") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "_rx_empty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "_rx_d1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit) :*: (S1 ('MetaSel ('Just "_rx_d2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit) :*: S1 ('MetaSel ('Just "_rx_busy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))))

rx_sample_cnt :: Lens' RxReg (Unsigned 4) Source #

rx_reg :: Lens' RxReg (BitVector 8) Source #

rx_over_run :: Lens' RxReg Bool Source #

rx_frame_err :: Lens' RxReg Bool Source #

rx_empty :: Lens' RxReg Bool Source #

rx_data :: Lens' RxReg (BitVector 8) Source #

rx_d2 :: Lens' RxReg Bit Source #

rx_d1 :: Lens' RxReg Bit Source #

rx_cnt :: Lens' RxReg (Unsigned 4) Source #

rx_busy :: Lens' RxReg Bool Source #

data TxReg Source #

Constructors

TxReg 

Fields

Instances

Instances details
Generic TxReg Source # 
Instance details

Defined in Clash.Examples.Internal

Associated Types

type Rep TxReg :: Type -> Type #

Methods

from :: TxReg -> Rep TxReg x #

to :: Rep TxReg x -> TxReg #

NFDataX TxReg Source # 
Instance details

Defined in Clash.Examples.Internal

Methods

deepErrorX :: String -> TxReg Source #

hasUndefined :: TxReg -> Bool Source #

ensureSpine :: TxReg -> TxReg Source #

rnfX :: TxReg -> () Source #

type Rep TxReg Source # 
Instance details

Defined in Clash.Examples.Internal

type Rep TxReg = D1 ('MetaData "TxReg" "Clash.Examples.Internal" "clash-prelude-1.7.0-inplace" 'False) (C1 ('MetaCons "TxReg" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_tx_reg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BitVector 8)) :*: S1 ('MetaSel ('Just "_tx_empty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "_tx_over_run") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "_tx_out") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit) :*: S1 ('MetaSel ('Just "_tx_cnt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Unsigned 4))))))

tx_reg :: Lens' TxReg (BitVector 8) Source #

tx_over_run :: Lens' TxReg Bool Source #

tx_out :: Lens' TxReg Bit Source #

tx_empty :: Lens' TxReg Bool Source #

tx_cnt :: Lens' TxReg (Unsigned 4) Source #

uartTX :: TxReg -> Bool -> BitVector 8 -> Bool -> TxReg Source #

uartRX :: RxReg -> Bit -> Bool -> Bool -> RxReg Source #

uart :: forall (dom1 :: Symbol) (dom2 :: Symbol). (KnownDomain dom1, KnownDomain dom2, IP (AppendSymbol dom1 "_clk") (Clock dom1), IP (AppendSymbol dom1 "_rst") (Reset dom1), IP (AppendSymbol dom1 "_en") (Enable dom1), IP (AppendSymbol dom2 "_clk") (Clock dom2), IP (AppendSymbol dom2 "_rst") (Reset dom2), IP (AppendSymbol dom2 "_en") (Enable dom2)) => Signal dom1 Bool -> Signal dom1 (BitVector 8) -> Signal dom1 Bool -> Signal dom2 Bit -> Signal dom2 Bool -> Signal dom2 Bool -> (Signal dom1 Bit, Signal dom1 Bool, Signal dom2 (BitVector 8), Signal dom2 Bool) Source #