copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.SBV.Queue

Description

Implements queues holding stream values.

Documentation

data Queue a Source #

Constructors

Queue 

Fields

lookahead :: SymWord a => DropIdx -> [SBV a] -> SBV QueueSize -> SBV a Source #

type QueueSize = DropIdx Source #