1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
|
{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
{-|
Module : Control.Applicative.Unicode
Copyright : 2009–2011 Roel van Dijk
License : BSD3 (see the file LICENSE)
Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
-}
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 β
(⊛) = (<*>)
{-# INLINE (⊛) #-}
{-|
(∅) = 'empty'
U+2205, EMPTY SET
-}
(∅) ∷ Alternative f ⇒ f α
(∅) = empty
{-# INLINE (∅) #-}
|