Copyright | (C) 2017-18 Jakub Daniel |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Jakub Daniel <jakub.daniel@protonmail.com> |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
class IEq1 (f :: (i -> *) -> i -> *) where Source #
Type constructors (usually functors) that produce types that can be equated
IEq1 Sort IfThenElseF Source # | |
IEq1 Sort ArrayF Source # | |
IEq1 Sort ArithmeticF Source # | |
IEq1 Sort NegationF Source # | |
IEq1 Sort DisjunctionF Source # | |
IEq1 Sort ConjunctionF Source # | |
IEq1 Sort (EqualityF Sort) Source # | |
IEq1 Sort (ExistentialF v) Source # | |
IEq1 Sort (UniversalF v) Source # | |
IEq1 Sort (VarF (Sort -> *)) Source # | |
(IEq1 i f, IEq1 i g) => IEq1 i ((:+:) (i -> *) i f g) Source # | |