copilot-c99-2.2.1: A compiler for Copilot targeting C99.
Copilot.Compile.C99.Queue
data Queue a Source #
dropFirstElemAndSnoc :: Assign a => E a -> Queue a -> Atom () Source #
lookahead :: Expr a => Int -> Queue a -> E a Source #
size :: Queue a -> QueueIndexType Source #
queue :: Expr a => String -> [a] -> Atom (Queue a) Source #