{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}

module Control.Applicative.Unicode ( (⊛), (∅) ) where

-------------------------------------------------------------------------------
-- Imports
-------------------------------------------------------------------------------

-- from base:
import Control.Applicative ( Applicative, Alternative, (<*>), empty )


-------------------------------------------------------------------------------
-- Fixities
-------------------------------------------------------------------------------

infixl 4 


-------------------------------------------------------------------------------
-- Symbols
-------------------------------------------------------------------------------

{-|
(&#x229B;) = '<*>'

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 () #-}

{-|
(&#x2205;) = '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 () #-}