Safe Haskell	None
Language	GHC2021

Test.Credit.RandomAccess.Zeroless

Synopsis

data Stream (m :: Type -> Type) a
- = SCons a (Stream m a)
- | SNil
- | SIndirect (Thunk m (Lazy m) (Stream m a))
indirect :: MonadCredit m => m (Stream m a) -> m (Stream m a)
credit :: MonadCredit m => Credit -> Stream m a -> m ()
smatch :: MonadCredit m => Stream m a -> m b -> (a -> Stream m a -> m b) -> m b
data Tree a
- = Leaf a
- | Node Int (Tree a) (Tree a)
data Digit a
- = One (Tree a)
- | Two (Tree a) (Tree a)
- | Three (Tree a) (Tree a) (Tree a)
size :: Tree a -> Int
link :: Tree a -> Tree a -> Tree a
consTree :: MonadCredit m => Tree a -> Stream m (Digit a) -> m (Stream m (Digit a))
unconsTree :: MonadCredit m => Stream m (Digit a) -> m (Maybe (Tree a, Stream m (Digit a)))
lookupTree :: MonadCredit m => Int -> Tree a -> m (Maybe a)
updateTree :: MonadCredit m => Int -> a -> Tree a -> m (Tree a)
newtype ZerolessRA a (m :: Type -> Type) = ZerolessRA {
- unZerolessRA :: Stream m (Digit a)
}

Documentation

Constructors

SCons a (Stream m a)
SNil
SIndirect (Thunk m (Lazy m) (Stream m a))

Instances details

(MonadMemory m, MemoryCell m a) => MemoryCell m (Stream m a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods prettyCell :: Stream m a -> m Memory Source #

Arguments

Smart destructor for streams, consuming one credit

Constructors

Leaf a
Node Int (Tree a) (Tree a)

Instances details

MemoryCell m a => MemoryCell m (Tree a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods prettyCell :: Tree a -> m Memory Source #
Show a => Show (Tree a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods showsPrec :: Int -> Tree a -> ShowS # show :: Tree a -> String # showList :: [Tree a] -> ShowS #
Eq a => Eq (Tree a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods (==) :: Tree a -> Tree a -> Bool # (/=) :: Tree a -> Tree a -> Bool #
Ord a => Ord (Tree a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods compare :: Tree a -> Tree a -> Ordering # (<) :: Tree a -> Tree a -> Bool # (<=) :: Tree a -> Tree a -> Bool # (>) :: Tree a -> Tree a -> Bool # (>=) :: Tree a -> Tree a -> Bool # max :: Tree a -> Tree a -> Tree a # min :: Tree a -> Tree a -> Tree a #

Constructors

Instances details

MemoryCell m a => MemoryCell m (Digit a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods prettyCell :: Digit a -> m Memory Source #
Show a => Show (Digit a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods showsPrec :: Int -> Digit a -> ShowS # show :: Digit a -> String # showList :: [Digit a] -> ShowS #
Eq a => Eq (Digit a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods (==) :: Digit a -> Digit a -> Bool # (/=) :: Digit a -> Digit a -> Bool #
Ord a => Ord (Digit a) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods compare :: Digit a -> Digit a -> Ordering # (<) :: Digit a -> Digit a -> Bool # (<=) :: Digit a -> Digit a -> Bool # (>) :: Digit a -> Digit a -> Bool # (>=) :: Digit a -> Digit a -> Bool # max :: Digit a -> Digit a -> Digit a # min :: Digit a -> Digit a -> Digit a #

Constructors

ZerolessRA
Fields unZerolessRA :: Stream m (Digit a)

Instances details

BoundedRandomAccess ZerolessRA Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods qcost :: Size -> RandomAccessOp a -> Credit Source #
RandomAccess ZerolessRA Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods empty :: MonadCredit m => m (ZerolessRA a m) Source # cons :: MonadCredit m => a -> ZerolessRA a m -> m (ZerolessRA a m) Source # uncons :: MonadCredit m => ZerolessRA a m -> m (Maybe (a, ZerolessRA a m)) Source # lookup :: MonadCredit m => Int -> ZerolessRA a m -> m (Maybe a) Source # update :: MonadCredit m => Int -> a -> ZerolessRA a m -> m (ZerolessRA a m) Source #
(MonadMemory m, MemoryCell m a) => MemoryCell m (ZerolessRA a m) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods prettyCell :: ZerolessRA a m -> m Memory Source #
Pretty a => MemoryStructure (ZerolessRA (PrettyCell a)) Source #
Instance details Defined in Test.Credit.RandomAccess.Zeroless Methods prettyStructure :: MonadMemory m => ZerolessRA (PrettyCell a) m -> m Memory Source #