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