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.Equality

Description

Synopsis

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

Documentation

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

A functor representing an equality predicate between two expressions of matching sort

Constructors

Equals :: Sing s -> a s -> a s -> EqualityF a BooleanSort

Instances

IShow (EqualityF :: (k -> ) -> Sort -> ) Source #
Instance details Defined in Data.Expression.Equality Methods ishow :: EqualityF (Const String) i -> Const String i Source #
IEq1 (EqualityF :: (Sort -> ) -> Sort -> ) Source #
Instance details Defined in Data.Expression.Equality Methods ieq1 :: IEq a => EqualityF a j -> EqualityF a j -> Bool Source #
IFoldable (EqualityF :: (Sort -> ) -> Sort -> ) Source #
Instance details Defined in Data.Expression.Equality Methods ifold :: Monoid m => EqualityF (Const m) i' -> Const m i' Source #
IFunctor (EqualityF :: (Sort -> ) -> Sort -> ) Source #
Instance details Defined in Data.Expression.Equality Methods imap :: (forall (i' :: i). a i' -> b i') -> forall (i' :: i). EqualityF a i' -> EqualityF b i' Source # index :: EqualityF a i' -> Sing i' Source #
ITraversable (EqualityF :: (Sort -> ) -> Sort -> ) Source #
Instance details Defined in Data.Expression.Equality Methods itraverse :: Applicative f => (forall (i' :: i). a i' -> f (b i')) -> forall (i' :: i). EqualityF a i' -> f (EqualityF b i') Source #
JoinSemiLattice (ALia BooleanSort) #
Instance details Defined in Data.Expression Methods (\/) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort # join :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort #
JoinSemiLattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression Methods (\/) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort # join :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort #
JoinSemiLattice (Lia BooleanSort) #
Instance details Defined in Data.Expression Methods (\/) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort # join :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort #
JoinSemiLattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression Methods (\/) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort # join :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort #
JoinSemiLattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression Methods (\/) :: QFLogic BooleanSort -> QFLogic BooleanSort -> QFLogic BooleanSort # join :: QFLogic BooleanSort -> QFLogic BooleanSort -> QFLogic BooleanSort #
MeetSemiLattice (ALia BooleanSort) #
Instance details Defined in Data.Expression Methods (/\) :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort # meet :: ALia BooleanSort -> ALia BooleanSort -> ALia BooleanSort #
MeetSemiLattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression Methods (/\) :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort # meet :: QFALia BooleanSort -> QFALia BooleanSort -> QFALia BooleanSort #
MeetSemiLattice (Lia BooleanSort) #
Instance details Defined in Data.Expression Methods (/\) :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort # meet :: Lia BooleanSort -> Lia BooleanSort -> Lia BooleanSort #
MeetSemiLattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression Methods (/\) :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort # meet :: QFLia BooleanSort -> QFLia BooleanSort -> QFLia BooleanSort #
MeetSemiLattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression Methods (/\) :: QFLogic BooleanSort -> QFLogic BooleanSort -> QFLogic BooleanSort # meet :: QFLogic BooleanSort -> QFLogic BooleanSort -> QFLogic BooleanSort #
Lattice (ALia BooleanSort) #
Instance details Defined in Data.Expression
Lattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression
Lattice (Lia BooleanSort) #
Instance details Defined in Data.Expression
Lattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression
Lattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression
BoundedJoinSemiLattice (ALia BooleanSort) #
Instance details Defined in Data.Expression Methods bottom :: ALia BooleanSort #
BoundedJoinSemiLattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression Methods bottom :: QFALia BooleanSort #
BoundedJoinSemiLattice (Lia BooleanSort) #
Instance details Defined in Data.Expression Methods bottom :: Lia BooleanSort #
BoundedJoinSemiLattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression Methods bottom :: QFLia BooleanSort #
BoundedJoinSemiLattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression Methods bottom :: QFLogic BooleanSort #
BoundedMeetSemiLattice (ALia BooleanSort) #
Instance details Defined in Data.Expression Methods top :: ALia BooleanSort #
BoundedMeetSemiLattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression Methods top :: QFALia BooleanSort #
BoundedMeetSemiLattice (Lia BooleanSort) #
Instance details Defined in Data.Expression Methods top :: Lia BooleanSort #
BoundedMeetSemiLattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression Methods top :: QFLia BooleanSort #
BoundedMeetSemiLattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression Methods top :: QFLogic BooleanSort #
BoundedLattice (ALia BooleanSort) #
Instance details Defined in Data.Expression
BoundedLattice (QFALia BooleanSort) #
Instance details Defined in Data.Expression
BoundedLattice (Lia BooleanSort) #
Instance details Defined in Data.Expression
BoundedLattice (QFLia BooleanSort) #
Instance details Defined in Data.Expression
BoundedLattice (QFLogic BooleanSort) #
Instance details Defined in Data.Expression
ComplementedLattice (ALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods complement :: ALia BooleanSort -> ALia BooleanSort Source #
ComplementedLattice (QFALia BooleanSort) Source #
Instance details Defined in Data.Expression Methods complement :: QFALia BooleanSort -> QFALia BooleanSort Source #
ComplementedLattice (Lia BooleanSort) Source #
Instance details Defined in Data.Expression Methods complement :: Lia BooleanSort -> Lia BooleanSort Source #
ComplementedLattice (QFLia BooleanSort) Source #
Instance details Defined in Data.Expression Methods complement :: QFLia BooleanSort -> QFLia BooleanSort Source #
ComplementedLattice (QFLogic BooleanSort) Source #
Instance details Defined in Data.Expression Methods complement :: QFLogic BooleanSort -> QFLogic BooleanSort Source #
(EqualityF :: (Sort -> ) -> Sort -> ) :<: f => Parseable (EqualityF :: (k -> ) -> Sort -> ) f Source #
Instance details Defined in Data.Expression.Equality Methods parser :: Proxy EqualityF -> Parser (DynamicallySorted f) -> Parser (DynamicallySorted f) Source #

(.=.) :: forall f s. (EqualityF :<: f, SingI s) => IFix f s -> IFix f s -> IFix f BooleanSort infix 7 Source #

A smart constructor for an equality predicate