Generics.Instant.Functions.Empty

Generically produce a single finite value of a datatype.

Documentation

class Empty a where

Methods

empty' :: a

Instances

Empty Bool

Empty Char

Empty Double

Empty Float

Empty Int

Empty Integer

Empty U

Empty a => Empty [a]

Empty a => Empty (Maybe a)

Empty a => Empty (Rec a)

Empty a => Empty (Var a)

(Empty a, Empty b) => Empty (a, b)

(Empty a, Empty b) => Empty ((:*:) a b)

(HasRec a, Empty a, Empty b) => Empty ((:+:) a b)

Empty a => Empty (CEq k k c p p a)

empty :: (Representable a, Empty (Rep a)) => a

class HasRec a where

We use HasRec to check for recursion in the structure. This is used to avoid selecting a recursive branch in the sum case for Empty.

Minimal complete definition

Nothing

Methods

hasRec' :: a -> Bool

Instances

HasRec Char

HasRec Double

HasRec Float

HasRec Int

HasRec Integer

HasRec U

HasRec (Rec a)

HasRec (Var a)

(HasRec a, HasRec b) => HasRec ((:*:) a b)

(HasRec a, HasRec b) => HasRec ((:+:) a b)

HasRec a => HasRec (CEq k k c p q a)