| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Data.Singleton
Contents
Description
singleton types having exactly one value.
Synopsis
- class Singleton s where
- unit :: s
- class Singleton1 s where
- unit1 :: s x
Singleton
class Singleton s where Source #
types s with exactly one value which is called the unit of s.
Instances
| Singleton () Source # | |
Defined in OAlg.Data.Singleton | |
| Singleton u => Singleton (Orientation u) Source # | |
Defined in OAlg.Structure.Oriented.Definition Methods unit :: Orientation u Source # | |
| Singleton (Proxy t) Source # | |
Defined in OAlg.Data.Singleton | |
| Singleton u => Singleton (a -> u) Source # | |
Defined in OAlg.Data.Singleton | |
class Singleton1 s where Source #
one parameterized types s with exactly one element for each x which is
called the unit1 of s x.
Instances
| Singleton1 (Proxy :: Type -> Type) Source # | |
Defined in OAlg.Data.Singleton | |
| Attestable k => Singleton1 (Free k) Source # | |
Defined in OAlg.Entity.Slice.Free | |