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