{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Agda.Builtin.Maybe where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text

-- Agda.Builtin.Maybe.Maybe
type T_Maybe_10 a0 = Maybe
d_Maybe_10 :: p -> p -> ()
d_Maybe_10 p
a0 p
a1 = ()
pattern $mC_nothing_18 :: forall {r} {a}. Maybe a -> ((# #) -> r) -> ((# #) -> r) -> r
$bC_nothing_18 :: forall {a}. Maybe a
C_nothing_18 = Nothing
pattern $mC_just_16 :: forall {r} {a}. Maybe a -> (a -> r) -> ((# #) -> r) -> r
$bC_just_16 :: forall {a}. a -> Maybe a
C_just_16 a0 = Just a0