{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-} module Control.Applicative.Unicode ( (⊛), (∅) ) where ------------------------------------------------------------------------------- -- Imports ------------------------------------------------------------------------------- -- from base: import Control.Applicative ( Applicative, Alternative, (<*>), empty ) ------------------------------------------------------------------------------- -- Fixities ------------------------------------------------------------------------------- infixl 4 ⊛ ------------------------------------------------------------------------------- -- Symbols ------------------------------------------------------------------------------- {-| (⊛) = '<*>' U+229B, CIRCLED ASTERISK OPERATOR -} (⊛) ∷ Applicative f ⇒ f (α → β) → f α → f β ⊛ :: forall (f :: * -> *) α β. Applicative f => f (α -> β) -> f α -> f β (⊛) = f (α -> β) -> f α -> f β forall a b. f (a -> b) -> f a -> f b forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b (<*>) {-# INLINE (⊛) #-} {-| (∅) = 'empty' U+2205, EMPTY SET -} (∅) ∷ Alternative f ⇒ f α ∅ :: forall (f :: * -> *) α. Alternative f => f α (∅) = f α forall a. f a forall (f :: * -> *) a. Alternative f => f a empty {-# INLINE (∅) #-}