blob: 6e40a5f316978885f727d073cf99706ecabfd9a2 (
plain)
1
2
3
4
5
6
|
lookup :: Eq a => a -> [(a, b)] -> Maybe b
hr :: (forall a. a -> a) -> a :: (forall a1. a1 -> a1) -> a
lookup ∷ Eq a ⇒ a → [(a, b)] → Maybe b
hr :: (forall a. a -> a) -> a ∷ (∀ a1. a1 → a1) → a
lookup :: Eq a => a -> [(a, b)] -> Maybe b
hr :: (forall a. a -> a) -> a :: (forall a1. a1 -> a1) -> a
|
