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 |
Documentation
data ConstSTRef s a Source #
Instances
Constable (ConstSTRef s :: Type -> Type) (ConstSTRef s :: Type -> Type) Source # | |
Defined in Data.Const.Unsafe | |
Constable (ConstSTRef s :: Type -> Type) (STRef s :: Type -> Type) Source # | |
Defined in Data.Const.Unsafe | |
Eq (ConstSTRef s a) Source # | |
Defined in Data.Const.Unsafe (==) :: ConstSTRef s a -> ConstSTRef s a -> Bool # (/=) :: ConstSTRef s a -> ConstSTRef s a -> Bool # |
constSTRef :: AnSTRef s p => p a -> ConstSTRef s a Source #
type AnSTRef s = Constable (ConstSTRef s) Source #
readAnSTRef :: forall s p a. AnSTRef s p => p a -> ST s a Source #