| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Test.Credit.Deque.SimpleCat
Synopsis
- data SimpleCat a (m :: Type -> Type)
- dangerous :: forall a (m :: Type -> Type). BDeque a m -> Bool
- cost :: Credit
- danger :: forall a (m :: Type -> Type). BDeque a m -> Credit
- deep :: MonadInherit m => BDeque a m -> Thunk m (Lazy m) (SimpleCat (BDeque a m) m) -> BDeque a m -> m (SimpleCat a m)
- isEmpty :: forall a (m :: Type -> Type). SimpleCat a m -> Bool
- data DequeIs a (m :: Type -> Type)
- tooSmall :: MonadInherit m => BDeque a m -> m (DequeIs a m)
- dappendL :: MonadInherit m => Maybe a -> BDeque a m -> m (BDeque a m)
- dappendR :: MonadInherit m => BDeque a m -> Maybe a -> m (BDeque a m)
- uncons' :: MonadInherit m => SimpleCat a m -> m (Maybe (a, Thunk m (Lazy m) (SimpleCat a m)))
- unsnoc' :: MonadInherit m => SimpleCat a m -> m (Maybe (Thunk m (Lazy m) (SimpleCat a m), a))
- concat' :: MonadInherit m => SimpleCat a m -> SimpleCat a m -> m (SimpleCat a m)
Documentation
data SimpleCat a (m :: Type -> Type) Source #
"simple"
Instances
| BoundedDeque SimpleCat Source # | |
| Deque SimpleCat Source # | |
Defined in Test.Credit.Deque.SimpleCat Methods empty :: MonadInherit m => m (SimpleCat a m) Source # cons :: MonadInherit m => a -> SimpleCat a m -> m (SimpleCat a m) Source # snoc :: MonadInherit m => SimpleCat a m -> a -> m (SimpleCat a m) Source # uncons :: MonadInherit m => SimpleCat a m -> m (Maybe (a, SimpleCat a m)) Source # unsnoc :: MonadInherit m => SimpleCat a m -> m (Maybe (SimpleCat a m, a)) Source # concat :: MonadInherit m => SimpleCat a m -> SimpleCat a m -> m (SimpleCat a m) Source # | |
| (MonadMemory m, MemoryCell m a) => MemoryCell m (SimpleCat a m) Source # | |
Defined in Test.Credit.Deque.SimpleCat Methods prettyCell :: SimpleCat a m -> m Memory Source # | |
| Pretty a => MemoryStructure (SimpleCat (PrettyCell a)) Source # | |
Defined in Test.Credit.Deque.SimpleCat Methods prettyStructure :: MonadMemory m => SimpleCat (PrettyCell a) m -> m Memory Source # | |
deep :: MonadInherit m => BDeque a m -> Thunk m (Lazy m) (SimpleCat (BDeque a m) m) -> BDeque a m -> m (SimpleCat a m) Source #
uncons' :: MonadInherit m => SimpleCat a m -> m (Maybe (a, Thunk m (Lazy m) (SimpleCat a m))) Source #