Data.Expression.Utils.Indexed.Eq

Documentation

class IEq (a :: i -> *) where

Indexed types that can be equated

Minimal complete definition

ieq

Methods

ieq :: forall j. a j -> a j -> Bool

Instances

IEq1 f => IEq (IFix f :: i -> *)

Defined in Data.Expression.Utils.Indexed.Functor

Methods

ieq :: IFix f j -> IFix f j -> Bool

class IEq1 (f :: (i -> *) -> i -> *) where

Type constructors (usually functors) that produce types that can be equated

Minimal complete definition

ieq1

Methods

ieq1 :: forall a j. IEq a => f a j -> f a j -> Bool

Instances

IEq1 IfThenElseF

Defined in Data.Expression.IfThenElse

Methods

ieq1 :: IEq a => IfThenElseF a j -> IfThenElseF a j -> Bool

IEq1 ArrayF

Defined in Data.Expression.Array

Methods

ieq1 :: IEq a => ArrayF a j -> ArrayF a j -> Bool

IEq1 ArithmeticF

Defined in Data.Expression.Arithmetic

Methods

ieq1 :: IEq a => ArithmeticF a j -> ArithmeticF a j -> Bool

IEq1 NegationF

Defined in Data.Expression

Methods

ieq1 :: IEq a => NegationF a j -> NegationF a j -> Bool

IEq1 DisjunctionF

Defined in Data.Expression

Methods

ieq1 :: IEq a => DisjunctionF a j -> DisjunctionF a j -> Bool

IEq1 ConjunctionF

Defined in Data.Expression

Methods

ieq1 :: IEq a => ConjunctionF a j -> ConjunctionF a j -> Bool

IEq1 (EqualityF :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression.Equality

Methods

ieq1 :: IEq a => EqualityF a j -> EqualityF a j -> Bool

IEq1 (ExistentialF v :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

ieq1 :: IEq a => ExistentialF v a j -> ExistentialF v a j -> Bool

IEq1 (UniversalF v :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

ieq1 :: IEq a => UniversalF v a j -> UniversalF v a j -> Bool

IEq1 (VarF :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

ieq1 :: IEq a => VarF a j -> VarF a j -> Bool

(IEq1 f, IEq1 g) => IEq1 (f :+: g :: (i -> *) -> i -> *)

Defined in Data.Expression.Utils.Indexed.Sum

Methods

ieq1 :: IEq a => (f :+: g) a j -> (f :+: g) a j -> Bool