Safe HaskellNone

MAlonzo.Code.Agda.Builtin.Maybe

Documentation

type T_Maybe_10 a0 = Maybe Source #

d_Maybe_10 :: p1 -> p2 -> () Source #

pattern C_nothing_18 :: forall a. Maybe a Source #

pattern C_just_16 :: forall a. a -> Maybe a Source #