Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- termSubterms ∷ Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a)
- termSubtermsDeep ∷ Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann)
- termSubtypes ∷ Traversal' (Term tyname name uni fun a) (Type tyname uni a)
- termSubtypesDeep ∷ Fold (Term tyname name uni fun ann) (Type tyname uni ann)
- termSubkinds ∷ Traversal' (Term tyname name uni fun ann) (Kind ann)
- termBindings ∷ Traversal' (Term tyname name uni fun a) (Binding tyname name uni fun a)
- termVars ∷ Traversal' (Term tyname name uni fun ann) name
- termConstants ∷ Traversal' (Term tyname name uni fun ann) (Some (ValueOf uni))
- termConstantsDeep ∷ Fold (Term tyname name uni fun ann) (Some (ValueOf uni))
- typeSubtypes ∷ ∀ tyname (uni ∷ Type → Type) ann f. Applicative f ⇒ (Type tyname uni ann → f (Type tyname uni ann)) → Type tyname uni ann → f (Type tyname uni ann)
- typeSubtypesDeep ∷ ∀ tyname (uni ∷ Type → Type) ann f. (Contravariant f, Applicative f) ⇒ (Type tyname uni ann → f (Type tyname uni ann)) → Type tyname uni ann → f (Type tyname uni ann)
- typeSubkinds ∷ ∀ tyname (uni ∷ Type → Type) ann f. Applicative f ⇒ (Kind ann → f (Kind ann)) → Type tyname uni ann → f (Type tyname uni ann)
- typeUniques ∷ ∀ tyname (uni ∷ Type → Type) ann. HasUniques (Type tyname uni ann) ⇒ Traversal' (Type tyname uni ann) Unique
- typeUniquesDeep ∷ ∀ tyname (uni ∷ Type → Type) ann. HasUniques (Type tyname uni ann) ⇒ Fold (Type tyname uni ann) Unique
- datatypeSubtypes ∷ Traversal' (Datatype tyname name uni a) (Type tyname uni a)
- datatypeSubkinds ∷ Traversal' (Datatype tyname name uni a) (Kind a)
- datatypeTyNames ∷ Traversal' (Datatype tyname name uni a) tyname
- bindingSubterms ∷ Traversal' (Binding tyname name uni fun a) (Term tyname name uni fun a)
- bindingSubtypes ∷ Traversal' (Binding tyname name uni fun a) (Type tyname uni a)
- bindingSubkinds ∷ Traversal' (Binding tyname name uni fun a) (Kind a)
- bindingNames ∷ Traversal' (Binding tyname name uni fun a) name
- bindingTyNames ∷ Traversal' (Binding tyname name uni fun a) tyname
- bindingIds ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique) ⇒ Traversal1' (Binding tyname name uni fun a) Unique
- termUniques ∷ HasUniques (Term tyname name uni fun ann) ⇒ Traversal' (Term tyname name uni fun ann) Unique
- termUniquesDeep ∷ HasUniques (Term tyname name uni fun ann) ⇒ Fold (Term tyname name uni fun ann) Unique
- varDeclSubtypes ∷ ∀ tyname name (uni ∷ Type → Type) a f. Applicative f ⇒ (Type tyname uni a → f (Type tyname uni a)) → VarDecl tyname name uni a → f (VarDecl tyname name uni a)
- underBinders ∷ Arity → Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a)
- _Constant ∷ Prism' (Term tyname name uni fun a) (a, Some (ValueOf uni))
Documentation
termSubterms ∷ Traversal' (Term tyname name uni fun a) (Term tyname name uni fun a) Source #
termSubtermsDeep ∷ Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann) Source #
termSubtypes ∷ Traversal' (Term tyname name uni fun a) (Type tyname uni a) Source #
termSubtypesDeep ∷ Fold (Term tyname name uni fun ann) (Type tyname uni ann) Source #
termSubkinds ∷ Traversal' (Term tyname name uni fun ann) (Kind ann) Source #
termBindings ∷ Traversal' (Term tyname name uni fun a) (Binding tyname name uni fun a) Source #
typeSubtypes ∷ ∀ tyname (uni ∷ Type → Type) ann f. Applicative f ⇒ (Type tyname uni ann → f (Type tyname uni ann)) → Type tyname uni ann → f (Type tyname uni ann) Source #
typeSubtypesDeep ∷ ∀ tyname (uni ∷ Type → Type) ann f. (Contravariant f, Applicative f) ⇒ (Type tyname uni ann → f (Type tyname uni ann)) → Type tyname uni ann → f (Type tyname uni ann) Source #
typeSubkinds ∷ ∀ tyname (uni ∷ Type → Type) ann f. Applicative f ⇒ (Kind ann → f (Kind ann)) → Type tyname uni ann → f (Type tyname uni ann) Source #
typeUniques ∷ ∀ tyname (uni ∷ Type → Type) ann. HasUniques (Type tyname uni ann) ⇒ Traversal' (Type tyname uni ann) Unique Source #
typeUniquesDeep ∷ ∀ tyname (uni ∷ Type → Type) ann. HasUniques (Type tyname uni ann) ⇒ Fold (Type tyname uni ann) Unique Source #
datatypeSubtypes ∷ Traversal' (Datatype tyname name uni a) (Type tyname uni a) Source #
datatypeSubkinds ∷ Traversal' (Datatype tyname name uni a) (Kind a) Source #
datatypeTyNames ∷ Traversal' (Datatype tyname name uni a) tyname Source #
Get all the type-names introduces by a datatype
bindingSubterms ∷ Traversal' (Binding tyname name uni fun a) (Term tyname name uni fun a) Source #
bindingSubtypes ∷ Traversal' (Binding tyname name uni fun a) (Type tyname uni a) Source #
bindingSubkinds ∷ Traversal' (Binding tyname name uni fun a) (Kind a) Source #
bindingNames ∷ Traversal' (Binding tyname name uni fun a) name Source #
Get all the names introduces by a binding
bindingTyNames ∷ Traversal' (Binding tyname name uni fun a) tyname Source #
Get all the type-names introduces by a binding
bindingIds ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique) ⇒ Traversal1' (Binding tyname name uni fun a) Unique Source #
All the identifiers/names introduced by this binding In case of a datatype-binding it has multiple identifiers: the type, constructors, match function
termUniques ∷ HasUniques (Term tyname name uni fun ann) ⇒ Traversal' (Term tyname name uni fun ann) Unique Source #
Get all the direct child Unique
s of the given Term
(including the type-level ones).
termUniquesDeep ∷ HasUniques (Term tyname name uni fun ann) ⇒ Fold (Term tyname name uni fun ann) Unique Source #
Get all the transitive child Unique
s of the given Term
(including the type-level ones).
varDeclSubtypes ∷ ∀ tyname name (uni ∷ Type → Type) a f. Applicative f ⇒ (Type tyname uni a → f (Type tyname uni a)) → VarDecl tyname name uni a → f (VarDecl tyname name uni a) Source #