Module
Type.Prelude
Re-exports from Type.Data.Boolean
#True
#False
#IsBoolean
#reifyBoolean
reifyBoolean :: forall r. Boolean -> (forall o. IsBoolean o => BProxy o -> r) -> r
Use a value level Boolean
as a type-level Boolean
Re-exports from Type.Data.Ordering
#IsOrdering
class IsOrdering (ordering :: Ordering) where
Class for reflecting a type level Ordering
at the value level
Members
reflectOrdering :: OProxy ordering -> Ordering
Instances
#reifyOrdering
reifyOrdering :: forall r. Ordering -> (forall o. IsOrdering o => OProxy o -> r) -> r
Use a value level Ordering
as a type-level Ordering
#Ordering
kind Ordering
The Ordering
kind represents the three possibilites of comparing two
types of the same kind: LT
(less than), EQ
(equal to), and
GT
(greater than).
Re-exports from Type.Data.Symbol
#Append
#Compare
#IsSymbol
class IsSymbol (sym :: Symbol) where
A class for known symbols
Members
reflectSymbol :: SProxy sym -> String
#reifySymbol
reifySymbol :: forall r. String -> (forall sym. IsSymbol sym => SProxy sym -> r) -> r
Re-exports from Type.Equality
#TypeEquals
class TypeEquals a b | a -> b, b -> a where
This type class asserts that types a
and b
are equal.
The functional dependencies and the single instance below will force the two type arguments to unify when either one is known.
Note: any instance will necessarily overlap with
refl
below, so instances of this class should
not be defined in libraries.
Members
Instances
TypeEquals a a
Re-exports from Type.Proxy
Re-exports from Type.Row
#Lacks
#ListToRow
#RowToList
#Union
Modules
- Control.Applicative
- Control.Apply
- Control.Bind
- Control.Category
- Control.Monad
- Control.Semigroupoid
- Data.Boolean
- Data.BooleanAlgebra
- Data.Bounded
- Data.CommutativeRing
- Data.DivisionRing
- Data.Eq
- Data.EuclideanRing
- Data.Field
- Data.Function
- Data.Functor
- Data.HeytingAlgebra
- Data.Monoid
- Data.Monoid.Additive
- Data.Monoid.Conj
- Data.Monoid.Disj
- Data.Monoid.Dual
- Data.Monoid.Endo
- Data.Monoid.Multiplicative
- Data.NaturalTransformation
- Data.Ord
- Data.Ord.Unsafe
- Data.Ordering
- Data.Ring
- Data.Semigroup
- Data.Semigroup.First
- Data.Semigroup.Last
- Data.Semiring
- Data.Show
- Data.Symbol
- Data.Unit
- Data.Void
- Effect
- Effect.Class
- Effect.Class.Console
- Effect.Console
- Effect.Uncurried
- Effect.Unsafe
- Main
- PSCI.Support
- Prelude
- Prim
- Prim.Ordering
- Prim.Row
- Prim.RowList
- Prim.Symbol
- Prim.TypeError
- Record.Unsafe
- Type.Data.Boolean
- Type.Data.Ordering
- Type.Data.Row
- Type.Data.RowList
- Type.Data.Symbol
- Type.Equality
- Type.Prelude
- Type.Proxy
- Type.Row
- Type.Row.Homogeneous