Idris2Doc : Data.Singleton

Data.Singleton

(source)

Definitions

dataSingleton : a->Type
  The type containing only a particular value.
This is useful for calculating type-level information at runtime.

Totality: total
Visibility: public export
Constructor: 
Val : (x : a) ->Singletonx
pure : (x : a) ->Singletonx
Visibility: public export
(<*>) : Singletonf->Singletonx->Singleton (fx)
Visibility: public export
Fixity Declaration: infixl operator, level 3