Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Functor Ptr Source # | |
Foldable Ptr Source # | |
Traversable Ptr Source # | |
Subst t a => Subst t (Ptr a) Source # | |
Eq (Ptr a) Source # | |
Ord (Ptr a) Source # | |
Show a => Show (Ptr a) Source # | |
NFData (Ptr a) Source # | |
Hashable (Ptr a) Source # | |
TermLike a => TermLike (Ptr a) Source # | |
Apply a => Apply (Ptr a) Source # | |
AbsTerm a => AbsTerm (Ptr a) Source # | |