Safe Haskell	None
Language	Haskell2010

Agda.Utils.Monoid

Description

More monoids.

Synopsis

newtype MaxNat = MaxNat {
- getMaxNat :: Int
}
data Fwd a
pattern Fwd :: (a -> a) -> Fwd a
appFwd :: Fwd a -> a -> a

Documentation

newtype MaxNat Source #

Maximum of on-negative (small) natural numbers.

Constructors

MaxNat
Fields getMaxNat :: Int

Instances

Instances details

Monoid MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods mempty :: MaxNat # mappend :: MaxNat -> MaxNat -> MaxNat # mconcat :: [MaxNat] -> MaxNat #
Semigroup MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (<>) :: MaxNat -> MaxNat -> MaxNat # sconcat :: NonEmpty MaxNat -> MaxNat # stimes :: Integral b => b -> MaxNat -> MaxNat #
Enum MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods succ :: MaxNat -> MaxNat # pred :: MaxNat -> MaxNat # toEnum :: Int -> MaxNat # fromEnum :: MaxNat -> Int # enumFrom :: MaxNat -> [MaxNat] # enumFromThen :: MaxNat -> MaxNat -> [MaxNat] # enumFromTo :: MaxNat -> MaxNat -> [MaxNat] # enumFromThenTo :: MaxNat -> MaxNat -> MaxNat -> [MaxNat] #
Num MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (+) :: MaxNat -> MaxNat -> MaxNat # (-) :: MaxNat -> MaxNat -> MaxNat # (*) :: MaxNat -> MaxNat -> MaxNat # negate :: MaxNat -> MaxNat # abs :: MaxNat -> MaxNat # signum :: MaxNat -> MaxNat # fromInteger :: Integer -> MaxNat #
Show MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods showsPrec :: Int -> MaxNat -> ShowS # show :: MaxNat -> String # showList :: [MaxNat] -> ShowS #
Eq MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods (==) :: MaxNat -> MaxNat -> Bool # (/=) :: MaxNat -> MaxNat -> Bool #
Ord MaxNat Source #
Instance details Defined in Agda.Utils.Monoid Methods compare :: MaxNat -> MaxNat -> Ordering # (<) :: MaxNat -> MaxNat -> Bool # (<=) :: MaxNat -> MaxNat -> Bool # (>) :: MaxNat -> MaxNat -> Bool # (>=) :: MaxNat -> MaxNat -> Bool # max :: MaxNat -> MaxNat -> MaxNat # min :: MaxNat -> MaxNat -> MaxNat #

data Fwd a Source #

Function composition in the diagrammatic order.

Instances

Instances details

Monoid (Fwd a) Source #
Instance details Defined in Agda.Utils.Monoid Methods mempty :: Fwd a # mappend :: Fwd a -> Fwd a -> Fwd a # mconcat :: [Fwd a] -> Fwd a #
Semigroup (Fwd a) Source #
Instance details Defined in Agda.Utils.Monoid Methods (<>) :: Fwd a -> Fwd a -> Fwd a # sconcat :: NonEmpty (Fwd a) -> Fwd a # stimes :: Integral b => b -> Fwd a -> Fwd a #

pattern Fwd :: (a -> a) -> Fwd a Source #

appFwd :: Fwd a -> a -> a Source #