Cross Reference: Axiom.hs
xref
: /
hets
/
Logic
/
Grothendieck.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
6133
N/A
{-# LANGUAGE CPP, TypeFamilies, DeriveDataTypeable #-}
6133
N/A
6133
N/A
module
PGIP.GraphQL.Result.Axiom
where
6133
N/A
6133
N/A
import
PGIP.GraphQL.Result.FileRange
6133
N/A
import
PGIP.GraphQL.Result.Symbol
6133
N/A
6133
N/A
import
Data.Data
6133
N/A
6133
N/A
data Axiom = Axiom { __typename :: String
6133
N/A
, fileRange :: Maybe FileRange
6133
N/A
, locId :: String
6133
N/A
, name :: String
6133
N/A
, symbols :: [Symbol]
6133
N/A
, text :: String
6133
N/A
} deriving (Show, Typeable, Data)
6133
N/A