Blarney.Stack

Description

Synopsis

Documentation

Stack interface

Constructors

Stack
Fields notEmpty :: Bit 1 notFull :: Bit 1 push :: a -> Action () pop :: Action () top :: a clear :: Action ()

Instances details

Generic (Stack a) #
Instance details Defined in Blarney.Stack Associated Types type Rep (Stack a) :: Type -> Type # Methods from :: Stack a -> Rep (Stack a) x # to :: Rep (Stack a) x -> Stack a #
(Interface a, Bits a) => Interface (Stack a) #
Instance details Defined in Blarney.Stack Methods toIfc :: Stack a -> (IfcTerm, IfcType) Source # fromIfc :: IfcTerm -> Stack a Source #
ToSink (Stack t) t #
Instance details Defined in Blarney.Stack Methods toSink :: Stack t -> Sink t Source #
ToSource (Stack t) t #
Instance details Defined in Blarney.Stack Methods toSource :: Stack t -> Source t Source #
type Rep (Stack a) #
Instance details Defined in Blarney.Stack type Rep (Stack a) = D1 ('MetaData "Stack" "Blarney.Stack" "main" 'False) (C1 ('MetaCons "Stack" 'PrefixI 'True) ((S1 ('MetaSel ('Just "notEmpty") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bit 1)) :: (S1 ('MetaSel ('Just "notFull") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bit 1)) :: S1 ('MetaSel ('Just "push") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (a -> Action ())))) :: (S1 ('MetaSel ('Just "pop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Action ())) :: (S1 ('MetaSel ('Just "top") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "clear") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Action ()))))))

Arguments

:: Bits a
=> Int	Log of the capacity of the stack
-> Module (Stack a)

Sized queue of given size, backed by RAM, with top element cached in a register