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 #
Generic Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Associated Types type Rep Kleenean :: Type -> Type # Methods from :: Kleenean -> Rep Kleenean x # to :: Rep Kleenean x -> Kleenean #
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 #
Serial IO Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean Methods series :: Series IO Kleenean #
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 Rep Kleenean Source #
Instance details Defined in Numeric.MixedTypes.Kleenean type Rep Kleenean = D1 ('MetaData "Kleenean" "Numeric.MixedTypes.Kleenean" "mixed-types-num-0.5.1.0-Ip9o6nNWhwaGXpLO3vlBq3" 'False) (C1 ('MetaCons "CertainTrue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CertainFalse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TrueOrFalse" 'PrefixI 'False) (U1 :: Type -> Type)))
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 #

tKleenean :: T Kleenean Source #