blarney-0.1.0.0
Copyright(c) Alexandre Joannou 2019
LicenseMIT
Maintaineralexandre.joannou@gmail.com
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageGHC2021

Blarney.PulseWire

Contents

Description

A PulseWire hardware module

Synopsis

PulseWire

data PulseWire Source #

PulseWire type

Constructors

PulseWire 

Fields

  • pulse :: Action ()

    Sends a pulse on the wire

  • val :: Bit 1

    Checks whether a pulse was sent this cycle

Instances

Instances details
Generic PulseWire # 
Instance details

Defined in Blarney.PulseWire

Associated Types

type Rep PulseWire :: Type -> Type #

Methods

from :: PulseWire -> Rep PulseWire x #

to :: Rep PulseWire x -> PulseWire #

Interface PulseWire # 
Instance details

Defined in Blarney.PulseWire

Methods

toIfc :: PulseWire -> (IfcTerm, IfcType) Source #

fromIfc :: IfcTerm -> PulseWire Source #

Val PulseWire (Bit 1) #

Val instance for PulseWire, returning whether the wire was pulsed

Instance details

Defined in Blarney.PulseWire

Methods

val :: PulseWire -> Bit 1 Source #

type Rep PulseWire # 
Instance details

Defined in Blarney.PulseWire

type Rep PulseWire = D1 ('MetaData "PulseWire" "Blarney.PulseWire" "blarney-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PulseWire" 'PrefixI 'True) (S1 ('MetaSel ('Just "pulse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Action ())) :*: S1 ('MetaSel ('Just "val") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bit 1))))

makePulseWire :: Module PulseWire Source #

Single-bit wire that emits 0 unless pulsed