| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Serialise.Node
Synopsis
- data Node
- pattern N1 :: Word32 -> Node
- pattern N2 :: Word32 -> Word32 -> Node
- pattern N3 :: Word32 -> Word32 -> Word32 -> Node
- pattern N4 :: Word32 -> Word32 -> Word32 -> Word32 -> Node
- pattern N5 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node
- pattern N6 :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Node -> Node
Documentation
Constructor tag (maybe omitted) and argument indices.
Constructors
| N0 | |
| N1# !Word32 | |
| N2# !Word64 | |
| N3# !Word64 !Word32 | |
| N4# !Word64 !Word64 | |
| N5# !Word64 !Word64 !Word32 | |
| N6# !Word64 !Word64 !Word64 !Node |