Type.Prelude

data True :: Boolean

Instances

• IsBoolean True
• And True rhs rhs
• Or True rhs True
• Not True False
• Not False True
• If True onTrue onFalse onTrue

data False :: Boolean

Instances

• IsBoolean False
• And False rhs False
• Or False rhs rhs
• Not True False
• Not False True
• If False onTrue onFalse onFalse

data BProxy (bool :: Boolean)

Value proxy for Boolean types

Constructors

• BProxy

class IsBoolean (bool :: Boolean)  where

Class for reflecting a type level Boolean at the value level

Members

• reflectBoolean :: BProxy bool -> Boolean

Instances

• IsBoolean True
• IsBoolean False

reifyBoolean :: forall r. Boolean -> (forall o. IsBoolean o => BProxy o -> r) -> r

Use a value level Boolean as a type-level Boolean

data Boolean :: Type

data OProxy (ordering :: Ordering)

Value proxy for Ordering types

Constructors

• OProxy

data LT :: Ordering

Instances

• IsOrdering LT
• AppendOrdering LT rhs LT
• InvertOrdering LT GT
• InvertOrdering GT LT
• Equals LT LT True
• Equals EQ LT False
• Equals LT EQ False
• Equals LT GT False
• Equals GT LT False

data GT :: Ordering

Instances

• IsOrdering GT
• AppendOrdering GT rhs GT
• InvertOrdering LT GT
• InvertOrdering GT LT
• Equals GT GT True
• Equals EQ GT False
• Equals LT GT False
• Equals GT LT False
• Equals GT EQ False

data EQ :: Ordering

Instances

• IsOrdering EQ
• AppendOrdering EQ rhs rhs
• InvertOrdering EQ EQ
• Equals EQ EQ True
• Equals EQ LT False
• Equals EQ GT False
• Equals LT EQ False
• Equals GT EQ False

class IsOrdering (ordering :: Ordering)  where

Class for reflecting a type level Ordering at the value level

Members

• reflectOrdering :: OProxy ordering -> Ordering

Instances

• IsOrdering LT
• IsOrdering EQ
• IsOrdering GT

reifyOrdering :: forall r. Ordering -> (forall o. IsOrdering o => OProxy o -> r) -> r

Use a value level Ordering as a type-level Ordering

data Ordering :: Type

data SProxy (sym :: Symbol)

A value-level proxy for a type-level symbol.

Constructors

• SProxy

class AppendSymbol (lhs :: Symbol) (rhs :: Symbol) (out :: Symbol) | lhs rhs -> out

Append two Symbol types together

class CompareSymbol (lhs :: Symbol) (rhs :: Symbol) (out :: Ordering) | lhs rhs -> out

Compare two Symbol types

class IsSymbol (sym :: Symbol)  where

A class for known symbols

Members

• reflectSymbol :: SProxy sym -> String

Instances

• (IsSymbol left, IsSymbol right) => IsSymbol (TypeConcat left right)

reifySymbol :: forall r. String -> (forall sym. IsSymbol sym => SProxy sym -> r) -> r

compareSymbol :: forall o r l. CompareSymbol l r o => SProxy l -> SProxy r -> OProxy o

appendSymbol :: forall o r l. AppendSymbol l r o => SProxy l -> SProxy r -> SProxy o

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

• to :: a -> b
• from :: b -> a

Instances

• TypeEquals a a

data Proxy a

Value proxy for kind Type types.

Constructors

• Proxy

Instances

• Eq (Proxy a)
• Functor Proxy
• Ord (Proxy a)
• Applicative Proxy
• Apply Proxy
• Bind Proxy
• BooleanAlgebra (Proxy a)
• Bounded (Proxy a)
• CommutativeRing (Proxy a)
• Discard (Proxy a)
• HeytingAlgebra (Proxy a)
• Monad Proxy
• Ring (Proxy a)
• Semigroup (Proxy a)
• Semiring (Proxy a)
• Show (Proxy a)

data RProxy (row :: Row Type)

Constructors

• RProxy

data RLProxy (rowList :: RowList)

Constructors

• RLProxy

class ListToRow (list :: RowList) (row :: Row Type) | list -> row

Convert a RowList to a row of types. The inverse of this operation is RowToList.

Instances

• ListToRow Nil ()
• (ListToRow tail tailRow, RowCons label ty tailRow row) => ListToRow (Cons label ty tail) row

class RowLacks (key :: Symbol) (row :: Row Type) 

Encodes the constraint that a given row does not contain a specific key.

class RowToList (row :: Row Type) (list :: RowList) | row -> list

Extract the collection of entries in a closed row of types. The list of entries is sorted by label and preserves duplicates. The inverse of this operation is ListToRow. Solved by the compiler.