Agda-2.2.6: A dependently typed functional programming language and proof assistant

Agda.Utils.Either

Description

Utilities for the Either type

Synopsis

Documentation

isLeft :: Either a b -> Bool Source

Returns True iff the argument is Left x for some x.

isRight :: Either a b -> Bool Source

Returns True iff the argument is Right x for some x.

tests :: IO Bool Source