Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Stack structure where Source #
When providing a new instance, you should ensure it satisfies: * Idempotency: item @Push x . morph @Pop ≡ identity
top :: ((Lens < Topping structure) < structure e) < e Source #
Instances
Stack List Source # | |
Stack (Construction Exactly) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Stream type Topping (Construction Exactly) :: Type -> Type Source # | |
Stack (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Topping (Construction Maybe) :: Type -> Type Source # |