-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | The parser to parser the OFF(Object File Format, Princeton ModelNet).
--   
--   The parser to parset the OFF(Object File Format, Princeton ModelNet
--   dataset) to help other program to display these data.
@package hOff-parser
@version 0.1.0.0


-- | The types are used in parser.
module HOff.Parser.Types

-- | Basic format of file It will include only the vertices and faces. a is
--   type for Vertice b is type for faces' index For example, type
--   SimpleOFF = OFF [] Float.
data OFF a b
OFF :: [Vertice a] -> [Face b] -> OFF a b

-- | Vertices of OFF in x, y, z coordinate. a is type of value
data Vertice a
Vertice :: (a, a, a) -> Vertice a

-- | Face of OFF store the index of every vertices. l is vector should be
--   <tt>* -&gt; *</tt>, and it will be used as array, or say vector. a is
--   type of value
data Face a
Face :: [a] -> Face a

-- | Status of parser. To get number of vertices and faces.
data ParStat
ParStat :: Int -> Int -> ParStat

-- | number of vertices
[numVertices] :: ParStat -> Int

-- | number of faces
[numFaces] :: ParStat -> Int

-- | Get vertices from OFF
offVertice :: OFF a b -> [Vertice a]

-- | Get faces from OFF
offFace :: OFF a b -> [Face b]
instance GHC.Show.Show HOff.Parser.Types.ParStat
instance GHC.Classes.Eq HOff.Parser.Types.ParStat
instance (GHC.Show.Show b, GHC.Show.Show a) => GHC.Show.Show (HOff.Parser.Types.OFF a b)
instance (GHC.Classes.Eq b, GHC.Classes.Eq a) => GHC.Classes.Eq (HOff.Parser.Types.OFF a b)
instance GHC.Show.Show a => GHC.Show.Show (HOff.Parser.Types.Face a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HOff.Parser.Types.Face a)
instance GHC.Show.Show a => GHC.Show.Show (HOff.Parser.Types.Vertice a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HOff.Parser.Types.Vertice a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HOff.Parser.Types.Vertice a)


-- | The types are used in parser.
module HOff.Parser

-- | parser the OFF file
offP :: (Stream s m Char, Read a, Num a) => ParsecT s ParStat m (OFF a Int)

-- | default par stat
defParStat :: ParStat