Safe Haskell	Safe
Language	Haskell2010

Data.Strict.Classes

Synopsis

class Strict lazy strict | lazy -> strict, strict -> lazy where
- toStrict :: lazy -> strict
- toLazy :: strict -> lazy

Documentation

class Strict lazy strict | lazy -> strict, strict -> lazy where #

Ad hoc conversion between "strict" and "lazy" versions of a structure.

Unfortunately all externally defined instances are doomed to be orphans: https://gitlab.haskell.org/ghc/ghc/-/issues/11999 See also https://qfpl.io/posts/orphans-and-fundeps/index.html for

Methods

toStrict :: lazy -> strict #

toLazy :: strict -> lazy #

Instances

Instances details

Strict ByteString ByteString #
Instance details Defined in Data.Strict.Classes Methods toStrict :: ByteString0 -> ByteString # toLazy :: ByteString -> ByteString0 #
Strict Text Text #
Instance details Defined in Data.Strict.Classes Methods toStrict :: Text0 -> Text # toLazy :: Text -> Text0 #
Strict (Maybe a) (Maybe a) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: Maybe0 a -> Maybe a # toLazy :: Maybe a -> Maybe0 a #
Strict (Either a b) (Either a b) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: Either0 a b -> Either a b # toLazy :: Either a b -> Either0 a b #
Strict (a, b) (Pair a b) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: (a, b) -> Pair a b # toLazy :: Pair a b -> (a, b) #
Strict (ST s a) (ST s a) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: ST s a -> ST0 s a # toLazy :: ST0 s a -> ST s a #
Strict (These a b) (These a b) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: These0 a b -> These a b # toLazy :: These a b -> These0 a b #
Strict (WriterT w m a) (WriterT w m a) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: WriterT w m a -> WriterT0 w m a # toLazy :: WriterT0 w m a -> WriterT w m a #
Strict (StateT s m a) (StateT s m a) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: StateT s m a -> StateT0 s m a # toLazy :: StateT0 s m a -> StateT s m a #
Strict (RWST r w s m a) (RWST r w s m a) #
Instance details Defined in Data.Strict.Classes Methods toStrict :: RWST r w s m a -> RWST0 r w s m a # toLazy :: RWST0 r w s m a -> RWST r w s m a #