Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Foldable Ptr Source # | |
Defined in Agda.Utils.Pointer fold :: Monoid m => Ptr m -> m Source # foldMap :: Monoid m => (a -> m) -> Ptr a -> m Source # foldMap' :: Monoid m => (a -> m) -> Ptr a -> m Source # foldr :: (a -> b -> b) -> b -> Ptr a -> b Source # foldr' :: (a -> b -> b) -> b -> Ptr a -> b Source # foldl :: (b -> a -> b) -> b -> Ptr a -> b Source # foldl' :: (b -> a -> b) -> b -> Ptr a -> b Source # foldr1 :: (a -> a -> a) -> Ptr a -> a Source # foldl1 :: (a -> a -> a) -> Ptr a -> a Source # toList :: Ptr a -> [a] Source # null :: Ptr a -> Bool Source # length :: Ptr a -> Int Source # elem :: Eq a => a -> Ptr a -> Bool Source # maximum :: Ord a => Ptr a -> a Source # minimum :: Ord a => Ptr a -> a Source # | |
Traversable Ptr Source # | |
Functor Ptr Source # | |
Show a => Show (Ptr a) Source # | |
NFData (Ptr a) Source # | |
Defined in Agda.Utils.Pointer | |
Eq (Ptr a) Source # | |
Ord (Ptr a) Source # | |
Defined in Agda.Utils.Pointer | |
Hashable (Ptr a) Source # | |