Safe Haskell	None
Language	Haskell2010

Basement.NormalForm

Synopsis

class NormalForm a where
deepseq :: NormalForm a => a -> b -> b
force :: NormalForm a => a -> a

Documentation

class NormalForm a where Source #

Data that can be fully evaluated in Normal Form

Minimal complete definition

toNormalForm

Methods

toNormalForm :: a -> () Source #

Instances

NormalForm Bool Source #
Instance details Methods toNormalForm :: Bool -> () Source #
NormalForm Char Source #
Instance details Methods toNormalForm :: Char -> () Source #
NormalForm Double Source #
Instance details Methods toNormalForm :: Double -> () Source #
NormalForm Float Source #
Instance details Methods toNormalForm :: Float -> () Source #
NormalForm Int Source #
Instance details Methods toNormalForm :: Int -> () Source #
NormalForm Int8 Source #
Instance details Methods toNormalForm :: Int8 -> () Source #
NormalForm Int16 Source #
Instance details Methods toNormalForm :: Int16 -> () Source #
NormalForm Int32 Source #
Instance details Methods toNormalForm :: Int32 -> () Source #
NormalForm Int64 Source #
Instance details Methods toNormalForm :: Int64 -> () Source #
NormalForm Integer Source #
Instance details Methods toNormalForm :: Integer -> () Source #
NormalForm Natural Source #
Instance details Methods toNormalForm :: Natural -> () Source #
NormalForm Word Source #
Instance details Methods toNormalForm :: Word -> () Source #
NormalForm Word8 Source #
Instance details Methods toNormalForm :: Word8 -> () Source #
NormalForm Word16 Source #
Instance details Methods toNormalForm :: Word16 -> () Source #
NormalForm Word32 Source #
Instance details Methods toNormalForm :: Word32 -> () Source #
NormalForm Word64 Source #
Instance details Methods toNormalForm :: Word64 -> () Source #
NormalForm () Source #
Instance details Methods toNormalForm :: () -> () Source #
NormalForm CChar Source #
Instance details Methods toNormalForm :: CChar -> () Source #
NormalForm CSChar Source #
Instance details Methods toNormalForm :: CSChar -> () Source #
NormalForm CUChar Source #
Instance details Methods toNormalForm :: CUChar -> () Source #
NormalForm CShort Source #
Instance details Methods toNormalForm :: CShort -> () Source #
NormalForm CUShort Source #
Instance details Methods toNormalForm :: CUShort -> () Source #
NormalForm CInt Source #
Instance details Methods toNormalForm :: CInt -> () Source #
NormalForm CUInt Source #
Instance details Methods toNormalForm :: CUInt -> () Source #
NormalForm CLong Source #
Instance details Methods toNormalForm :: CLong -> () Source #
NormalForm CULong Source #
Instance details Methods toNormalForm :: CULong -> () Source #
NormalForm CLLong Source #
Instance details Methods toNormalForm :: CLLong -> () Source #
NormalForm CULLong Source #
Instance details Methods toNormalForm :: CULLong -> () Source #
NormalForm CFloat Source #
Instance details Methods toNormalForm :: CFloat -> () Source #
NormalForm CDouble Source #
Instance details Methods toNormalForm :: CDouble -> () Source #
NormalForm Char7 Source #
Instance details Methods toNormalForm :: Char7 -> () Source #
NormalForm Word128 Source #
Instance details Methods toNormalForm :: Word128 -> () Source #
NormalForm Word256 Source #
Instance details Methods toNormalForm :: Word256 -> () Source #
NormalForm String Source #
Instance details Methods toNormalForm :: String -> () Source #
NormalForm a => NormalForm [a] Source #
Instance details Methods toNormalForm :: [a] -> () Source #
NormalForm a => NormalForm (Maybe a) Source #
Instance details Methods toNormalForm :: Maybe a -> () Source #
NormalForm (Ptr a) Source #
Instance details Methods toNormalForm :: Ptr a -> () Source #
NormalForm a => NormalForm (BE a) Source #
Instance details Methods toNormalForm :: BE a -> () Source #
NormalForm a => NormalForm (LE a) Source #
Instance details Methods toNormalForm :: LE a -> () Source #
NormalForm (Zn n) Source #
Instance details Methods toNormalForm :: Zn n -> () Source #
NormalForm (Zn64 n) Source #
Instance details Methods toNormalForm :: Zn64 n -> () Source #
NormalForm (CountOf a) Source #
Instance details Methods toNormalForm :: CountOf a -> () Source #
NormalForm (Offset a) Source #
Instance details Methods toNormalForm :: Offset a -> () Source #
NormalForm (Block ty) Source #
Instance details Methods toNormalForm :: Block ty -> () Source #
NormalForm (UArray ty) Source #
Instance details Methods toNormalForm :: UArray ty -> () Source #
NormalForm a => NormalForm (Array a) Source #
Instance details Methods toNormalForm :: Array a -> () Source #
(NormalForm l, NormalForm r) => NormalForm (Either l r) Source #
Instance details Methods toNormalForm :: Either l r -> () Source #
(NormalForm a, NormalForm b) => NormalForm (a, b) Source #
Instance details Methods toNormalForm :: (a, b) -> () Source #
(NormalForm a, NormalForm b) => NormalForm (These a b) Source #
Instance details Methods toNormalForm :: These a b -> () Source #
NormalForm a => NormalForm (ListN n a) Source #
Instance details Methods toNormalForm :: ListN n a -> () Source #
NormalForm (BlockN n a) Source #
Instance details Methods toNormalForm :: BlockN n a -> () Source #
NormalForm a => NormalForm (Vect n a) Source #
Instance details Methods toNormalForm :: Vect n a -> () Source #
NormalForm (UVect n a) Source #
Instance details Methods toNormalForm :: UVect n a -> () Source #
(NormalForm a, NormalForm b, NormalForm c) => NormalForm (a, b, c) Source #
Instance details Methods toNormalForm :: (a, b, c) -> () Source #
(NormalForm a, NormalForm b, NormalForm c, NormalForm d) => NormalForm (a, b, c, d) Source #
Instance details Methods toNormalForm :: (a, b, c, d) -> () Source #
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e) => NormalForm (a, b, c, d, e) Source #
Instance details Methods toNormalForm :: (a, b, c, d, e) -> () Source #
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f) => NormalForm (a, b, c, d, e, f) Source #
Instance details Methods toNormalForm :: (a, b, c, d, e, f) -> () Source #
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g) => NormalForm (a, b, c, d, e, f, g) Source #
Instance details Methods toNormalForm :: (a, b, c, d, e, f, g) -> () Source #
(NormalForm a, NormalForm b, NormalForm c, NormalForm d, NormalForm e, NormalForm f, NormalForm g, NormalForm h) => NormalForm (a, b, c, d, e, f, g, h) Source #
Instance details Methods toNormalForm :: (a, b, c, d, e, f, g, h) -> () Source #

deepseq :: NormalForm a => a -> b -> b Source #

force :: NormalForm a => a -> a Source #