{-# OPTIONS_GHC -Wno-unused-top-binds #-}
module Morley.Tezos.Address.Kinds
( AddressKind(..)
, SingAddressKind(..)
) where
import Fmt (Buildable(..))
import Morley.Util.Sing
data AddressKind
= AddressKindImplicit
| AddressKindContract
| AddressKindTxRollup
instance Buildable AddressKind where
build :: AddressKind -> Builder
build = \case
AddressKind
AddressKindImplicit -> Builder
"implicit"
AddressKind
AddressKindContract -> Builder
"contract"
AddressKind
AddressKindTxRollup -> Builder
"transaction rollup"
genSingletonsType ''AddressKind