Test.StrictCheck.Internal.Omega

Internal module: This module does not make any stability guarantees, and may not adhere to the PVP.

This module defines the Omega type, which has only one inhabitant: the infinite chain of successors. Any function which consumes an Omega is functionally equivalent to any other; likewise for those which produce an Omega. However, they may have radically differing strictness behaviors. It is for this reason that we have use for this type in the course of random example generation.

Documentation

data Omega

The type with one inhabitant: the infinite chain of successors

Constructors

Succ Omega

Instances

Generic Omega

Defined in Test.StrictCheck.Internal.Omega

Associated Types

type Rep Omega :: Type -> Type

Methods

from :: Omega -> Rep Omega x

to :: Rep Omega x -> Omega

Generic Omega

Defined in Test.StrictCheck.Internal.Omega

Associated Types

type Code Omega :: [[Type]]

Methods

from :: Omega -> Rep Omega

to :: Rep Omega -> Omega

HasDatatypeInfo Omega

Defined in Test.StrictCheck.Internal.Omega

Associated Types

type DatatypeInfoOf Omega :: DatatypeInfo

Methods

datatypeInfo :: proxy Omega -> DatatypeInfo (Code Omega)

Produce Omega

Defined in Test.StrictCheck.Internal.Omega

Methods

produce :: Gen Omega

Shaped Omega

Defined in Test.StrictCheck.Internal.Omega

Associated Types

type Shape Omega :: (Type -> Type) -> Type

Methods

project :: (forall x. Shaped x => x -> f x) -> Omega -> Shape Omega f

embed :: (forall x. Shaped x => f x -> x) -> Shape Omega f -> Omega

match :: Shape Omega f -> Shape Omega g -> (forall (xs :: [Type]). All Shaped xs => Flattened (Shape Omega) f xs -> Maybe (Flattened (Shape Omega) g xs) -> result) -> result

render :: Shape Omega (K x) -> RenderLevel x

type Rep Omega

Defined in Test.StrictCheck.Internal.Omega

type Rep Omega = D1 (MetaData "Omega" "Test.StrictCheck.Internal.Omega" "StrictCheck-0.2.1-6ncUO8Or5yJEVChGsrv8UA" False) (C1 (MetaCons "Succ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Omega)))

type Code Omega

Defined in Test.StrictCheck.Internal.Omega

type Code Omega = GCode Omega

type DatatypeInfoOf Omega

Defined in Test.StrictCheck.Internal.Omega

type DatatypeInfoOf Omega = GDatatypeInfoOf Omega

type Shape Omega

Defined in Test.StrictCheck.Internal.Omega

type Shape Omega = GShape Omega

forceOmega :: Int -> Omega -> ()

Evaluate n constructors of a given Omega value, returning unit