| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Maybe
Documentation
d_Is'45'just_8 :: T_Level_14 -> () -> Maybe AgdaAny -> () Source #
d_Is'45'nothing_12 :: T_Level_14 -> () -> Maybe AgdaAny -> () Source #
d_to'45'witness_18 :: T_Level_14 -> () -> Maybe AgdaAny -> T_Any_18 -> AgdaAny Source #
d_to'45'witness'45'T_24 :: T_Level_14 -> () -> Maybe AgdaAny -> AgdaAny -> AgdaAny Source #
du_to'45'witness'45'T_24 :: Maybe AgdaAny -> AgdaAny Source #