GHC.Internal.Prim

ghc-internal-9.1400.0: Basic libraries

Safe Haskell | None
Language | Haskell2010

GHC.Internal.Prim

Contents

- Builtin syntax

Synopsis

- data FUN

# Builtin syntax

data FUN Source #

The builtin function type, written in infix form as `a % m -> b`. Values of this type are functions taking inputs of type `a` and producing outputs of type `b`. The multiplicity of the input is `m`.

Note that ``FUN` m a b` permits representation polymorphism in both `a` and `b`, so that types like ``Int#` -> `Int#`` can still be well-kinded.

#### Instances

Instances details

Monoid b => Monoid (a -> b) Source # | Since: base-2.1
Instance details Defined in GHC.Internal.Base Methods mempty :: a -> b Source # mappend :: (a -> b) -> (a -> b) -> a -> b Source # mconcat :: [a -> b] -> a -> b Source #
Semigroup b => Semigroup (a -> b) Source # | Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Base Methods (<>) :: (a -> b) -> (a -> b) -> a -> b Source # sconcat :: NonEmpty (a -> b) -> a -> b Source # stimes :: Integral b0 => b0 -> (a -> b) -> a -> b Source #