Copyright	(C) 2017-18 Jakub Daniel
License	BSD-style (see the file LICENSE)
Maintainer	Jakub Daniel <jakub.daniel@protonmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Data.Expression.IfThenElse

Description

Synopsis

data IfThenElseF a (s :: Sort) where
- IfThenElse :: Sing s -> a BooleanSort -> a s -> a s -> IfThenElseF a s
ite :: forall f s. (IfThenElseF :<: f, SingI s) => IFix f BooleanSort -> IFix f s -> IFix f s -> IFix f s

Documentation

data IfThenElseF a (s :: Sort) where Source #

A functor representing a conditional value (if-then-else)

Constructors

IfThenElse :: Sing s -> a BooleanSort -> a s -> a s -> IfThenElseF a s

Instances

IEq1 IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods ieq1 :: IEq a => IfThenElseF a j -> IfThenElseF a j -> Bool Source #
IFoldable IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods ifold :: Monoid m => IfThenElseF (Const m) i' -> Const m i' Source #
IFunctor IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods imap :: (forall (i' :: i). a i' -> b i') -> forall (i' :: i). IfThenElseF a i' -> IfThenElseF b i' Source # index :: IfThenElseF a i' -> Sing i' Source #
ITraversable IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods itraverse :: Applicative f => (forall (i' :: i). a i' -> f (b i')) -> forall (i' :: i). IfThenElseF a i' -> f (IfThenElseF b i') Source #
IShow IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods ishow :: IfThenElseF (Const String) i -> Const String i Source #
Heyting (ALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (==>) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort # neg :: ALia BooleanSort -> ALia BooleanSort # (<=>) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort #
Heyting (QFALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (==>) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort # neg :: QFALia BooleanSort -> QFALia BooleanSort # (<=>) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort #
Heyting (Lia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (==>) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort # neg :: Lia BooleanSort -> Lia BooleanSort # (<=>) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort #
Heyting (QFLia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (==>) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort # neg :: QFLia BooleanSort -> QFLia BooleanSort # (<=>) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort #
Lattice (ALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (\/) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort # (/\) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort #
Lattice (QFALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (\/) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort # (/\) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort #
Lattice (Lia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (\/) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort # (/\) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort #
Lattice (QFLia BooleanSort) Source #
Instance details Defined in Data.Expression Methods (\/) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort # (/\) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort #
BoundedJoinSemiLattice (ALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods bottom :: ALia BooleanSort #
BoundedJoinSemiLattice (QFALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods bottom :: QFALia BooleanSort #
BoundedJoinSemiLattice (Lia BooleanSort) Source #
Instance details Defined in Data.Expression Methods bottom :: Lia BooleanSort #
BoundedJoinSemiLattice (QFLia BooleanSort) Source #
Instance details Defined in Data.Expression Methods bottom :: QFLia BooleanSort #
BoundedMeetSemiLattice (ALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods top :: ALia BooleanSort #
BoundedMeetSemiLattice (QFALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods top :: QFALia BooleanSort #
BoundedMeetSemiLattice (Lia BooleanSort) Source #
Instance details Defined in Data.Expression Methods top :: Lia BooleanSort #
BoundedMeetSemiLattice (QFLia BooleanSort) Source #
Instance details Defined in Data.Expression Methods top :: QFLia BooleanSort #
IfThenElseF :<: f => Parseable IfThenElseF f Source #
Instance details Defined in Data.Expression.IfThenElse Methods parser :: Proxy IfThenElseF -> Parser (DynamicallySortedFix f) -> Parser (DynamicallySortedFix f) Source #

ite :: forall f s. (IfThenElseF :<: f, SingI s) => IFix f BooleanSort -> IFix f s -> IFix f s -> IFix f s Source #

A smart constructor for an if-then-else expression