blob: 77d1b7d63bf6352cf909d2e7099752d1cba01bf9 (
plain)
1
2
3
4
5
6
7
8
9
|
lookup :: Eq a => a -> [(a, b)] -> Maybe b
undefined :: (forall a. a -> a) -> a
:: (?callStack::CallStack) => (forall a1. a1 -> a1) -> a
lookup ∷ Eq a ⇒ a → [(a, b)] → Maybe b
undefined :: (forall a. a -> a) -> a
∷ (?callStack::CallStack) ⇒ (∀ a1. a1 → a1) → a
lookup :: Eq a => a -> [(a, b)] -> Maybe b
undefined :: (forall a. a -> a) -> a
:: (?callStack::CallStack) => (forall a1. a1 -> a1) -> a
|
