Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Zippable (structure :: * -> *) Source #
type Breadcrumbs structure :: * -> * Source #
Instances
Zippable List Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Breadcrumbs List :: Type -> Type Source # | |
Zippable (Construction Exactly) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Stream type Breadcrumbs (Construction Exactly) :: Type -> Type Source # | |
Zippable (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Breadcrumbs (Construction Maybe) :: Type -> Type Source # | |
Zippable (Construction List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose type Breadcrumbs (Construction List) :: Type -> Type Source # | |
Zippable (Comprehension Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List type Breadcrumbs (Comprehension Maybe) :: Type -> Type Source # |
type family Fastenable structure rs where ... Source #
Fastenable structure (r ::: rs) = ((Morphable < Rotate r) < structure, Fastenable structure rs) | |
Fastenable structure r = (Morphable < Rotate r) < structure |