singletons_regression.hs

{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE ExistentialQuantification #-}

import Data.Singletons
import Data.Singletons.Prelude
import Data.Singletons.TH

main :: IO ()
main = putStrLn "Hello world"

$(singletons [d|
  data Item
    = AccessPointName
    | Action
    | ApplicationProtocol
    | Attack
    | AttackCode
    | AuthenticationMethod
    | Bssid
    | Command
    | CommandArguments
    | ControllerIp
    | ControllerName
    | Counter
    | Dismissed
    | DestinationCategories
    | DestinationCity
    | DestinationCountry
    | DestinationHostName
    | DestinationInterface
    | DestinationIp
    | DestinationLocation
    | DestinationNattedIp
    | DestinationNattedPort
    | DestinationPort
    | DestinationUser
    | DestinationZone
    | ElapsedTime
    | HostCategories
    | HostCity
    | HostCountry
    | HostIp
    | HostLocation
    | HostName
    | HttpMethod
    | HttpReplyBytes
    | HttpReplyCode
    | IdentificationCode
    | InterfaceBytesPerSecond
    | InterfaceName
    | InterfaceStatistic
    | InterfaceTotalBytes
    | LogLevel
    | MimeType
    | NetworkProtocol
    | Notification
    | OriginalSeverity
    | Process
    | Raw
    | ReportingIp
    | SecurityRule
    | ServerCategories
    | ServerIp
    | ServerName
    | Service
    | SessionId
    | SourceCategories
    | SourceCity
    | SourceCountry
    | SourceHostName
    | SourceInterface
    | SourceIp
    | SourceLocation
    | SourceNattedIp
    | SourceNattedPort
    | SourcePort
    | SourceUser
    | SourceZone
    | StartTime
    | TaskId
    | TransportDirection
    | TransportProtocol
    | Triggers
    | Url
    | UrlCategory
    | UrlHost
    | UrlPath
    | UserIp
    | UserMac
    | UserName
    | VirtualSystem
    deriving (Show,Read,Eq,Ord,Bounded,Enum)
  |])