Documentation

undefined :: forall a. IsString a => a Source #

partial :: forall a. IsString a => a Source #

pattern Prim :: ModuleName Source #

pattern Partial :: Qualified (ProperName 'ClassName) Source #

pattern Record :: Qualified (ProperName 'TypeName) Source #

pattern Type :: Qualified (ProperName 'TypeName) Source #

pattern Constraint :: Qualified (ProperName 'TypeName) Source #

pattern Function :: Qualified (ProperName 'TypeName) Source #

pattern Array :: Qualified (ProperName 'TypeName) Source #

pattern Row :: Qualified (ProperName 'TypeName) Source #

pattern PrimBoolean :: ModuleName Source #

booleanTrue :: Qualified (ProperName 'TypeName) Source #

booleanFalse :: Qualified (ProperName 'TypeName) Source #

pattern PrimCoerce :: ModuleName Source #

pattern Coercible :: Qualified (ProperName 'ClassName) Source #

pattern PrimOrdering :: ModuleName Source #

orderingLT :: Qualified (ProperName 'TypeName) Source #

orderingEQ :: Qualified (ProperName 'TypeName) Source #

orderingGT :: Qualified (ProperName 'TypeName) Source #

pattern PrimRow :: ModuleName Source #

pattern RowUnion :: Qualified (ProperName 'ClassName) Source #

pattern RowNub :: Qualified (ProperName 'ClassName) Source #

pattern RowCons :: Qualified (ProperName 'ClassName) Source #

pattern RowLacks :: Qualified (ProperName 'ClassName) Source #

pattern PrimRowList :: ModuleName Source #

pattern RowToList :: Qualified (ProperName 'ClassName) Source #

pattern RowListNil :: Qualified (ProperName 'TypeName) Source #

pattern RowListCons :: Qualified (ProperName 'TypeName) Source #

pattern PrimSymbol :: ModuleName Source #

pattern SymbolCompare :: Qualified (ProperName 'ClassName) Source #

pattern SymbolAppend :: Qualified (ProperName 'ClassName) Source #

pattern SymbolCons :: Qualified (ProperName 'ClassName) Source #

pattern PrimTypeError :: ModuleName Source #

pattern Fail :: Qualified (ProperName 'ClassName) Source #

pattern Warn :: Qualified (ProperName 'ClassName) Source #

primModules :: [ModuleName] Source #

typ :: forall a. IsString a => a Source #

kindBoolean :: forall a. IsString a => a Source #

kindOrdering :: forall a. IsString a => a Source #

kindRowList :: forall a. IsString a => a Source #

symbol :: forall a. IsString a => a Source #

doc :: forall a. IsString a => a Source #

row :: forall a. IsString a => a Source #

constraint :: forall a. IsString a => a Source #

prim :: forall a. IsString a => a Source #

moduleBoolean :: forall a. IsString a => a Source #

moduleCoerce :: forall a. IsString a => a Source #

moduleOrdering :: forall a. IsString a => a Source #

moduleRow :: forall a. IsString a => a Source #

moduleRowList :: forall a. IsString a => a Source #

moduleSymbol :: forall a. IsString a => a Source #

typeError :: forall a. IsString a => a Source #