Copyright	(c) 2019 Edward Kmett
License	BSD-2-Clause OR Apache-2.0
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Const

Description

Documentation

class (Constable q q, forall a. Coercible (q a) (p a)) => Constable q p | p -> q Source #

Instances

Constable ConstByteArray MutableByteArray Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstByteArray ConstByteArray Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstIORef IORef Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstIORef ConstIORef Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstForeignPtr ForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstForeignPtr ConstForeignPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstPtr Ptr Source #
Instance details Defined in Data.Const.Unsafe
Constable ConstPtr ConstPtr Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstMutVar s :: Type -> Type) (ConstMutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstMutVar s :: Type -> Type) (MutVar s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (SmallConstArray s :: Type -> Type) (SmallConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (SmallConstArray s :: Type -> Type) (SmallMutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstPrimArray s :: Type -> Type) (ConstPrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstPrimArray s :: Type -> Type) (MutablePrimArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstArray s :: Type -> Type) (ConstArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe
Constable (ConstArray s :: Type -> Type) (MutableArray s :: Type -> Type) Source #
Instance details Defined in Data.Const.Unsafe

constant :: forall p a q. Constable q p => p a -> q a Source #