module Data.Derive.Bounded where
{-
import Prelude

example :: Sample

instance Bounded a => Bounded (Sample a) where
    minBound = head [First, Second (const minBound 1) (const minBound 2), Third (const minBound 1)]
    maxBound = head [Third (const maxBound 1), Second (const maxBound 1) (const maxBound 2), First]

-}
-- GENERATED START

import Data.Derive.DSL.DSL
import Data.Derive.Internal.Derivation

makeBounded :: Derivation
makeBounded = derivationDSL "Bounded" dslBounded

dslBounded =
    List [Instance ["Bounded"] "Bounded" (App "Just" (List [List [App
    "InsDecl" (List [App "()" (List []),App "PatBind" (List [App "()"
    (List []),App "PVar" (List [App "()" (List []),App "Ident" (List [
    App "()" (List []),String "minBound"])]),App "UnGuardedRhs" (List
    [App "()" (List []),App "App" (List [App "()" (List []),App "Var"
    (List [App "()" (List []),App "UnQual" (List [App "()" (List []),
    App "Ident" (List [App "()" (List []),String "head"])])]),App
    "List" (List [App "()" (List []),MapCtor (Application (Concat (
    List [List [App "Con" (List [App "()" (List []),App "UnQual" (List
    [App "()" (List []),App "Ident" (List [App "()" (List []),CtorName
    ])])])],MapField (App "Paren" (List [App "()" (List []),
    Application (List [App "Var" (List [App "()" (List []),App
    "UnQual" (List [App "()" (List []),App "Ident" (List [App "()" (
    List []),String "const"])])]),App "Var" (List [App "()" (List []),
    App "UnQual" (List [App "()" (List []),App "Ident" (List [App "()"
    (List []),String "minBound"])])]),App "Lit" (List [App "()" (List
    []),App "Int" (List [App "()" (List []),FieldIndex,ShowInt
    FieldIndex])])])]))])))])])]),App "Nothing" (List [])])]),App
    "InsDecl" (List [App "()" (List []),App "PatBind" (List [App "()"
    (List []),App "PVar" (List [App "()" (List []),App "Ident" (List [
    App "()" (List []),String "maxBound"])]),App "UnGuardedRhs" (List
    [App "()" (List []),App "App" (List [App "()" (List []),App "Var"
    (List [App "()" (List []),App "UnQual" (List [App "()" (List []),
    App "Ident" (List [App "()" (List []),String "head"])])]),App
    "List" (List [App "()" (List []),Reverse (MapCtor (Application (
    Concat (List [List [App "Con" (List [App "()" (List []),App
    "UnQual" (List [App "()" (List []),App "Ident" (List [App "()" (
    List []),CtorName])])])],MapField (App "Paren" (List [App "()" (
    List []),Application (List [App "Var" (List [App "()" (List []),
    App "UnQual" (List [App "()" (List []),App "Ident" (List [App "()"
    (List []),String "const"])])]),App "Var" (List [App "()" (List [])
    ,App "UnQual" (List [App "()" (List []),App "Ident" (List [App
    "()" (List []),String "maxBound"])])]),App "Lit" (List [App "()" (
    List []),App "Int" (List [App "()" (List []),FieldIndex,ShowInt
    FieldIndex])])])]))]))))])])]),App "Nothing" (List [])])])]]))]
-- GENERATED STOP