Singleraeh.Sing

Documentation

class Sing (sa :: ak -> Type) where

Associated Types

type SingC sa :: ak -> Constraint

Methods

sing' :: forall (a :: ak). SingC sa a => sa a

Instances

Sing SNat

Defined in Singleraeh.Sing

Associated Types

type SingC SNat :: ak -> Constraint

Methods

sing' :: forall (a :: ak). SingC SNat a => SNat a

Sing SChar

Defined in Singleraeh.Sing

Associated Types

type SingC SChar :: ak -> Constraint

Methods

sing' :: forall (a :: ak). SingC SChar a => SChar a

Sing SSymbol

Defined in Singleraeh.Sing

Associated Types

type SingC SSymbol :: ak -> Constraint

Methods

sing' :: forall (a :: ak). SingC SSymbol a => SSymbol a

(Sing sl, Sing sr) => Sing (SEither sl sr :: Either l r -> Type)

Defined in Singleraeh.Either

Associated Types

type SingC (SEither sl sr) :: ak -> Constraint

Methods

sing' :: forall (a :: ak). SingC (SEither sl sr) a => SEither sl sr a

sing :: forall {ak} (sa :: ak -> Type) (a :: ak). (Sing sa, SingC sa a) => sa a