Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Numeric.MixedTypes.Kleenean

Description

Documentation

data Kleenean Source #

Constructors

CertainTrue
CertainFalse
TrueOrFalse

Instances

Instances details

Eq Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods (==) :: Kleenean -> Kleenean -> Bool # (/=) :: Kleenean -> Kleenean -> Bool #
Show Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods showsPrec :: Int -> Kleenean -> ShowS # show :: Kleenean -> String # showList :: [Kleenean] -> ShowS #
CanNeg Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Associated Types type NegType Kleenean Source # Methods negate :: Kleenean -> NegType Kleenean Source #
CanTestCertainly Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods isCertainlyTrue :: Kleenean -> Bool Source # isCertainlyFalse :: Kleenean -> Bool Source #
ConvertibleExactly Bool Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods safeConvertExactly :: Bool -> ConvertResult Kleenean Source #
ConvertibleExactly Kleenean Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods safeConvertExactly :: Kleenean -> ConvertResult Kleenean Source #
CanAndOrAsymmetric Bool Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Associated Types type AndOrType Bool Kleenean Source # Methods and2 :: Bool -> Kleenean -> AndOrType Bool Kleenean Source # or2 :: Bool -> Kleenean -> AndOrType Bool Kleenean Source #
CanAndOrAsymmetric Kleenean Bool Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Associated Types type AndOrType Kleenean Bool Source # Methods and2 :: Kleenean -> Bool -> AndOrType Kleenean Bool Source # or2 :: Kleenean -> Bool -> AndOrType Kleenean Bool Source #
CanAndOrAsymmetric Kleenean Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Associated Types type AndOrType Kleenean Kleenean Source # Methods and2 :: Kleenean -> Kleenean -> AndOrType Kleenean Kleenean Source # or2 :: Kleenean -> Kleenean -> AndOrType Kleenean Kleenean Source #
type NegType Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean type NegType Kleenean = Kleenean
type AndOrType Bool Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean type AndOrType Bool Kleenean = Kleenean
type AndOrType Kleenean Bool Source #
Instance details Defined in Numeric.MixedTypes.Kleenean type AndOrType Kleenean Bool = Kleenean
type AndOrType Kleenean Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean type AndOrType Kleenean Kleenean = Kleenean

kleenean :: CanBeKleenean t => t -> Kleenean Source #