module StrictUnit
( StrictUnit(..)
) where
import Data.Semigroup (stimes, stimesIdempotent)
data StrictUnit = StrictUnit
instance Semigroup StrictUnit where
<> :: StrictUnit -> StrictUnit -> StrictUnit
(<>) = StrictUnit -> StrictUnit -> StrictUnit
seq
stimes :: b -> StrictUnit -> StrictUnit
stimes = b -> StrictUnit -> StrictUnit
forall b a. Integral b => b -> a -> a
stimesIdempotent
instance Monoid StrictUnit where
mempty :: StrictUnit
mempty = StrictUnit
StrictUnit
mappend :: StrictUnit -> StrictUnit -> StrictUnit
mappend = StrictUnit -> StrictUnit -> StrictUnit
forall a. Semigroup a => a -> a -> a
(<>)