expressions-0.1.4: Expressions and Formulae a la carte

Copyright(C) 2017-18 Jakub Daniel
LicenseBSD-style (see the file LICENSE)
MaintainerJakub Daniel <jakub.daniel@protonmail.com>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Data.Expression.Utils.Indexed.Eq

Description

 

Synopsis

Documentation

class IEq a where Source #

Indexed types that can be equated

Minimal complete definition

ieq

Methods

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

Instances

IEq1 i f => IEq i (IFix i f) Source # 

Methods

ieq :: a j -> a j -> Bool Source #

class IEq1 f where Source #

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 Source #

Instances

IEq1 Sort IfThenElseF Source # 

Methods

ieq1 :: IEq IfThenElseF a => f a j -> f a j -> Bool Source #

IEq1 Sort ArrayF Source # 

Methods

ieq1 :: IEq ArrayF a => f a j -> f a j -> Bool Source #

IEq1 Sort ArithmeticF Source # 

Methods

ieq1 :: IEq ArithmeticF a => f a j -> f a j -> Bool Source #

IEq1 Sort NegationF Source # 

Methods

ieq1 :: IEq NegationF a => f a j -> f a j -> Bool Source #

IEq1 Sort DisjunctionF Source # 

Methods

ieq1 :: IEq DisjunctionF a => f a j -> f a j -> Bool Source #

IEq1 Sort ConjunctionF Source # 

Methods

ieq1 :: IEq ConjunctionF a => f a j -> f a j -> Bool Source #

IEq1 Sort (EqualityF Sort) Source # 

Methods

ieq1 :: IEq (EqualityF Sort) a => f a j -> f a j -> Bool Source #

IEq1 Sort (ExistentialF v) Source # 

Methods

ieq1 :: IEq (ExistentialF v) a => f a j -> f a j -> Bool Source #

IEq1 Sort (UniversalF v) Source # 

Methods

ieq1 :: IEq (UniversalF v) a => f a j -> f a j -> Bool Source #

IEq1 Sort (VarF (Sort -> *)) Source # 

Methods

ieq1 :: IEq (VarF (Sort -> *)) a => f a j -> f a j -> Bool Source #

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

Methods

ieq1 :: IEq ((i :+: (i -> *)) f g) a => f a j -> f a j -> Bool Source #