Data.Strict.Classes

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

Strict ByteString ByteString

Defined in Data.Strict.Classes

Methods

toStrict :: ByteString -> ByteString0

toLazy :: ByteString0 -> ByteString

Strict Text Text

Defined in Data.Strict.Classes

Methods

toStrict :: Text -> Text0

toLazy :: Text0 -> Text

Strict (Maybe a) (Maybe a)

Defined in Data.Strict.Classes

Methods

toStrict :: Maybe0 a -> Maybe a

toLazy :: Maybe a -> Maybe0 a

Strict (ST s a) (ST s a)

Defined in Data.Strict.Classes

Methods

toStrict :: ST s a -> ST0 s a

toLazy :: ST0 s a -> ST s a

Strict (Either a b) (Either a b)

Defined in Data.Strict.Classes

Methods

toStrict :: Either0 a b -> Either a b

toLazy :: Either a b -> Either0 a b

Strict (These a b) (These a b)

Defined in Data.Strict.Classes

Methods

toStrict :: These0 a b -> These a b

toLazy :: These a b -> These0 a b

Strict (a, b) (Pair a b)

Defined in Data.Strict.Classes

Methods

toStrict :: (a, b) -> Pair a b

toLazy :: Pair a b -> (a, b)

Strict (StateT s m a) (StateT s m a)

Defined in Data.Strict.Classes

Methods

toStrict :: StateT0 s m a -> StateT s m a

toLazy :: StateT s m a -> StateT0 s m a

Strict (WriterT w m a) (WriterT w m a)

Defined in Data.Strict.Classes

Methods

toStrict :: WriterT0 w m a -> WriterT w m a

toLazy :: WriterT w m a -> WriterT0 w m a

Strict (RWST r w s m a) (RWST r w s m a)

Defined in Data.Strict.Classes

Methods

toStrict :: RWST0 r w s m a -> RWST r w s m a

toLazy :: RWST r w s m a -> RWST0 r w s m a