Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
allChildren :: forall phi ix xi. (Fam phi, Children phi (PF phi) xi) => phi ix -> phi xi -> ix -> [(Path phi xi ix, xi)] Source
Get all children with their paths
class Children phi f xi where Source
children :: (forall ix'. phi ix' -> phi xi -> Path phi ix' ix -> r ix' -> [(Path phi xi ix, r xi)]) -> phi ix -> phi xi -> (forall xi. phi xi -> Dir f xi ix -> Path phi xi ix) -> f r ix -> [(Path phi xi ix, r xi)] Source
Children phi U ix | |
Children phi (K a) ix | |
(Fam phi, El phi ix, El phi xi) => Children phi (I xi) ix | |
(Fam phi, El phi ix) => Children phi (I ix) ix | |
Children phi f ix => Children phi ((:.:) [] f) ix | |
Children phi f ix => Children phi ((:.:) Maybe f) ix | |
Children phi f ix => Children phi ((:>:) f xi) ix | |
(Constructor c, Children phi f ix) => Children phi (C c f) ix | |
(Children phi f ix, Children phi g ix, CountIs g) => Children phi ((:*:) f g) ix | |
(Children phi f ix, Children phi g ix) => Children phi ((:+:) f g) ix |