Idris2Doc : Language.LSP.Message.Utils

Language.LSP.Message.Utils

(source)
Common types and instances for JSON interoperability.

(C) The Idris Community, 2021

Reexports

import public Data.OneOf

Definitions

data Null : Type
  Singleton type that models `null` in JSON.

Totality: total
Visibility: public export
Constructor: 
MkNull : Null

Hints:
Eq Null
FromJSON Null
Ord Null
Show Null
ToJSON Null
toEither : OneOf [a, b] -> Either a b
  Converts an `UntaggedEither` value to the isomorphic value in `Either`.

Totality: total
Visibility: public export
fromEither : Either a b -> OneOf [a, b]
  Converts an `Either` value to the isomorphic value in `UntaggedEither`.

Totality: total
Visibility: public export
toMaybe : OneOf [a, Null] -> Maybe a
Totality: total
Visibility: public export
fromMaybe : Maybe a -> OneOf [a, Null]
Totality: total
Visibility: public export
ConstraintList : (Type -> Type) -> List Type -> Type
Totality: total
Visibility: public export